diff options
| author | Cristian Cadar <cristic@cs.stanford.edu> | 2013-03-27 18:57:22 +0000 |
|---|---|---|
| committer | Cristian Cadar <cristic@cs.stanford.edu> | 2013-03-27 18:57:22 +0000 |
| commit | dbc8fcaac1ffabddb0a423344c9fa76d1cc3367e (patch) | |
| tree | 8294a14ef52cde74b8ca16970b957c2843678892 /klee | |
| parent | 6ff92fd43c4ab1c8f0c959b88769d98c2f7d160f (diff) | |
Patch by Jonathan Neuschäfer adding a missing newline.
Diffstat (limited to 'klee')
| -rw-r--r-- | klee/lib/Core/Executor.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/klee/lib/Core/Executor.cpp b/klee/lib/Core/Executor.cpp index fa5835d3b1d..473f45e57a5 100644 --- a/klee/lib/Core/Executor.cpp +++ b/klee/lib/Core/Executor.cpp @@ -1071,7 +1071,7 @@ void Executor::stepInstruction(ExecutionState &state) { if (DebugPrintInstructions) { printFileLine(state, state.pc); std::cerr << std::setw(10) << stats::instructions << " "; - llvm::errs() << *(state.pc->inst); + llvm::errs() << *(state.pc->inst) << '\n'; } if (statsTracker) |