If error location information is missing be explicit about it. This

is more helpful because often the next message is "Now ignoring error
at this location". Which is slightly confusing when no location
is shown.

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