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.
---
 tools/kleaver/main.cpp | 2 --
 tools/klee/Debug.cpp   | 1 -
 tools/klee/main.cpp    | 1 -
 3 files changed, 4 deletions(-)

(limited to 'tools')

diff --git a/tools/kleaver/main.cpp b/tools/kleaver/main.cpp
index e31140e8..b19e2ea6 100644
--- a/tools/kleaver/main.cpp
+++ b/tools/kleaver/main.cpp
@@ -1,5 +1,3 @@
-#include <iostream>
-
 #include "expr/Lexer.h"
 #include "expr/Parser.h"
 
diff --git a/tools/klee/Debug.cpp b/tools/klee/Debug.cpp
index ad264045..fbabed9d 100644
--- a/tools/klee/Debug.cpp
+++ b/tools/klee/Debug.cpp
@@ -1,5 +1,4 @@
 #include <klee/Expr.h>
-#include <iostream>
 
 void kdb_printExpr(klee::Expr *e) {
   llvm::errs() << "expr: " << e << " -- ";
diff --git a/tools/klee/main.cpp b/tools/klee/main.cpp
index 6abb1569..0292376c 100644
--- a/tools/klee/main.cpp
+++ b/tools/klee/main.cpp
@@ -62,7 +62,6 @@
 #include <cerrno>
 #include <fstream>
 #include <iomanip>
-#include <iostream>
 #include <iterator>
 #include <sstream>
 
-- 
cgit 1.4.1