1 files changed, 1 insertions, 2 deletions
diff --git a/tools/klee/main.cpp b/tools/klee/main.cpp
index 2046be05..9b6dabb7 100644
--- a/tools/klee/main.cpp
+++ b/tools/klee/main.cpp
@@ -610,8 +610,7 @@ static int initEnv(Module *mainModule) {
   Function *mainFn = mainModule->getFunction("main");
     
   if (mainFn->arg_size() < 2) {
-    std::cerr << "Cannot handle ""-init-env"" when main() has less than two arguments.\n";
-    return -1;
+    klee_error("Cannot handle ""--posix-runtime"" when main() has less than two arguments.\n");
   }
 
   Instruction* firstInst = mainFn->begin()->begin();