[PATCH] klee -debug-print-instructions: add a newline character

[Jonathan Neuschäfer]

---
lib/Core/Executor.cpp | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/Core/Executor.cpp b/lib/Core/Executor.cpp
index 968283b..48aee24 100644
--- a/lib/Core/Executor.cpp
+++ b/lib/Core/Executor.cpp
@@ -1174,7 +1174,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)