1 files changed, 0 insertions, 1 deletions
diff --git a/lib/SMT/main.cpp b/lib/SMT/main.cpp
index 034c4ce4..6b66e279 100644
--- a/lib/SMT/main.cpp
+++ b/lib/SMT/main.cpp
@@ -2,7 +2,6 @@
 
 #include "klee/ExprBuilder.h"
 
-#include <iostream>
 
 using namespace std;
 using namespace klee;