From 3b35ffed89405e7ba3059664dfbdc165b5d8625d Mon Sep 17 00:00:00 2001
From: Martin Nowack <martin@se.inf.tu-dresden.de>
Date: Thu, 29 May 2014 23:21:33 +0200
Subject: Remove #include <iostream> to avoid static constructors

iostream injects static constructor function into every compilation unit.
Remove this to avoid it.
---
 lib/Solver/Solver.cpp | 1 -
 1 file changed, 1 deletion(-)

(limited to 'lib/Solver/Solver.cpp')

diff --git a/lib/Solver/Solver.cpp b/lib/Solver/Solver.cpp
index 025c70f2..229fa234 100644
--- a/lib/Solver/Solver.cpp
+++ b/lib/Solver/Solver.cpp
@@ -771,7 +771,6 @@ static SolverImpl::SolverRunStatus runAndGetCexForked(::VC vc,
     }
   }
 }
-#include <iostream>
 bool
 STPSolverImpl::computeInitialValues(const Query &query,
                                     const std::vector<const Array*> 
-- 
cgit 1.4.1