diff options
| -rw-r--r-- | lib/Core/Executor.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/Core/Executor.cpp b/lib/Core/Executor.cpp index f01fa4ee..371aa7f1 100644 --- a/lib/Core/Executor.cpp +++ b/lib/Core/Executor.cpp @@ -2780,7 +2780,7 @@ void Executor::terminateStateOnError(ExecutionState &state, if (ii.file != "") { klee_message("ERROR: %s:%d: %s", ii.file.c_str(), ii.line, message.c_str()); } else { - klee_message("ERROR: %s", message.c_str()); + klee_message("ERROR: (location information missing) %s", message.c_str()); } if (!EmitAllErrors) klee_message("NOTE: now ignoring this error at this location"); |