Fixed a minor issue related to an error path in --posix-runtime mode.

git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@158835 91177308-0d34-0410-b5e6-96231b3b80d8

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();