1 files changed, 6 insertions, 2 deletions
diff --git a/lib/Analysis/GRState.cpp b/lib/Analysis/GRState.cpp
index 72eeda97b1..4bef72c6c5 100644
--- a/lib/Analysis/GRState.cpp
+++ b/lib/Analysis/GRState.cpp
@@ -154,7 +154,9 @@ void GRState::print(std::ostream& Out, StoreManager& StoreMgr,
     else { Out << nl; }
     
     Out << " (" << (void*) I.getKey() << ") ";
-    I.getKey()->printPretty(Out);
+    llvm::raw_os_ostream OutS(Out);
+    I.getKey()->printPretty(OutS);
+    OutS.flush();
     Out << " : ";
     I.getData().print(Out);
   }
@@ -171,7 +173,9 @@ void GRState::print(std::ostream& Out, StoreManager& StoreMgr,
     else { Out << nl; }
     
     Out << " (" << (void*) I.getKey() << ") ";
-    I.getKey()->printPretty(Out);
+    llvm::raw_os_ostream OutS(Out);
+    I.getKey()->printPretty(OutS);
+    OutS.flush();
     Out << " : ";
     I.getData().print(Out);
   }