Unify the error message if that function has not been found.

1 files changed, 2 insertions, 2 deletions

diff --git a/tools/klee/main.cpp b/tools/klee/main.cpp
index 0b22f5c1..77b1fe7c 100644
--- a/tools/klee/main.cpp
+++ b/tools/klee/main.cpp
@@ -639,7 +639,7 @@ preparePOSIX(std::vector<std::unique_ptr<llvm::Module>> &loadedModules,
   }
 
   if (!mainFn)
-    klee_error("'%s' function not found in module.", EntryPoint.c_str());
+    klee_error("Entry function '%s' not found in module.", EntryPoint.c_str());
   mainFn->setName("__klee_posix_wrapped_main");
 
   // Add a definition of the entry function if needed. This is the case if we
@@ -1278,7 +1278,7 @@ int main(int argc, char **argv, char **envp) {
   auto finalModule = interpreter->setModule(loadedModules, Opts);
   Function *mainFn = finalModule->getFunction(EntryPoint);
   if (!mainFn) {
-    klee_error("'%s' function not found in module.", EntryPoint.c_str());
+    klee_error("Entry function '%s' not found in module.", EntryPoint.c_str());
   }
 
   externalsAndGlobalsCheck(finalModule);