diff --git a/lib/Analysis/SVals.cpp b/lib/Analysis/SVals.cpp
index 428746d..6b29ae7 100644
--- a/lib/Analysis/SVals.cpp
+++ b/lib/Analysis/SVals.cpp
@@ -287,7 +287,7 @@
 // Pretty-Printing.
 //===----------------------------------------------------------------------===//
 
-void SVal::printStdErr() const { print(llvm::errs()); }
+void SVal::printStdErr() const { print(llvm::errs()); llvm::errs().flush(); }
 
 void SVal::print(std::ostream& Out) const {
   llvm::raw_os_ostream out(Out);