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.
---
 include/klee/Internal/ADT/TreeStream.h | 1 -
 1 file changed, 1 deletion(-)

(limited to 'include')

diff --git a/include/klee/Internal/ADT/TreeStream.h b/include/klee/Internal/ADT/TreeStream.h
index 63e49dbb..1494aa76 100644
--- a/include/klee/Internal/ADT/TreeStream.h
+++ b/include/klee/Internal/ADT/TreeStream.h
@@ -11,7 +11,6 @@
 #define __UTIL_TREESTREAM_H__
 
 #include <string>
-#include <iostream>
 #include <vector>
 
 namespace klee {
-- 
cgit 1.4.1