about summary refs log tree commit diff homepage
path: root/lib/Core/ExecutorUtil.cpp
diff options
context:
space:
mode:
authorMartin Nowack <martin@se.inf.tu-dresden.de>2014-05-29 23:21:33 +0200
committerMartin Nowack <martin@se.inf.tu-dresden.de>2014-05-29 23:57:45 +0200
commit3b35ffed89405e7ba3059664dfbdc165b5d8625d (patch)
treef14817333f73342d70b267cc89c0ab70a7a151bb /lib/Core/ExecutorUtil.cpp
parentd934d983692c8952cdb887cbcd59f2df0001b9c0 (diff)
downloadklee-3b35ffed89405e7ba3059664dfbdc165b5d8625d.tar.gz
Remove #include <iostream> to avoid static constructors
iostream injects static constructor function into every compilation unit.
Remove this to avoid it.
Diffstat (limited to 'lib/Core/ExecutorUtil.cpp')
-rw-r--r--lib/Core/ExecutorUtil.cpp1
1 files changed, 0 insertions, 1 deletions
diff --git a/lib/Core/ExecutorUtil.cpp b/lib/Core/ExecutorUtil.cpp
index 79d1707e..f6b3dd5e 100644
--- a/lib/Core/ExecutorUtil.cpp
+++ b/lib/Core/ExecutorUtil.cpp
@@ -41,7 +41,6 @@
 #include "llvm/Support/CallSite.h"
 
 
-#include <iostream>
 #include <cassert>
 
 using namespace klee;