From cf33f833c9c8dd28b44a3177ef0b759e0f46cb86 Mon Sep 17 00:00:00 2001
From: Cristian Cadar <c.cadar@imperial.ac.uk>
Date: Tue, 15 May 2018 21:22:31 +0100
Subject: Simplified printFileLine by using std::to_string, and removed
 unneeded version that takes an argument a stream

---
 lib/Core/Executor.cpp | 9 +++------
 1 file changed, 3 insertions(+), 6 deletions(-)

(limited to 'lib/Core/Executor.cpp')

diff --git a/lib/Core/Executor.cpp b/lib/Core/Executor.cpp
index 308b4456..03ac1331 100644
--- a/lib/Core/Executor.cpp
+++ b/lib/Core/Executor.cpp
@@ -1153,9 +1153,7 @@ void Executor::printDebugInstructions(ExecutionState &state) {
 
   if (!DebugPrintInstructions.isSet(STDERR_COMPACT) &&
       !DebugPrintInstructions.isSet(FILE_COMPACT)) {
-    (*stream) << "     ";
-    state.pc->printFileLine(*stream);
-    (*stream) << ":";
+    (*stream) << "     " << state.pc->printFileLine() << ":";
   }
 
   (*stream) << state.pc->info->assemblyLine;
@@ -3080,10 +3078,9 @@ void Executor::callExternalFunction(ExecutionState &state,
     for (unsigned i=0; i<arguments.size(); i++) {
       os << arguments[i];
       if (i != arguments.size()-1)
-	os << ", ";
+        os << ", ";
     }
-    os << ") at ";
-    state.pc->printFileLine(os);
+    os << ") at " << state.pc->printFileLine();
     
     if (AllExternalWarnings)
       klee_warning("%s", os.str().c_str());
-- 
cgit 1.4.1