diff options
Diffstat (limited to 'lib/Core/ExecutorTimers.cpp')
| -rw-r--r-- | lib/Core/ExecutorTimers.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/Core/ExecutorTimers.cpp b/lib/Core/ExecutorTimers.cpp index 0c274d5c..8934a6cd 100644 --- a/lib/Core/ExecutorTimers.cpp +++ b/lib/Core/ExecutorTimers.cpp @@ -47,7 +47,7 @@ public: ~HaltTimer() {} void run() { - llvm::cerr << "KLEE: HaltTimer invoked\n"; + std::cerr << "KLEE: HaltTimer invoked\n"; executor->setHaltExecution(true); } }; |