1 files changed, 1 insertions, 1 deletions
diff --git a/src/factor.c b/src/factor.c
index f7beaeb94..f636e36f1 100644
--- a/src/factor.c
+++ b/src/factor.c
@@ -2543,5 +2543,5 @@ main (int argc, char **argv)
     }
 #endif
 
-  exit (ok ? EXIT_SUCCESS : EXIT_FAILURE);
+  return ok ? EXIT_SUCCESS : EXIT_FAILURE;
 }