2 files changed, 0 insertions, 3 deletions
diff --git a/lib/SMT/SMTParser.cpp b/lib/SMT/SMTParser.cpp
index 5622f048..03042fdd 100644
--- a/lib/SMT/SMTParser.cpp
+++ b/lib/SMT/SMTParser.cpp
@@ -22,7 +22,6 @@
 
 //#define DEBUG
 
-using namespace std;
 using namespace klee;
 using namespace klee::expr;
 
diff --git a/lib/SMT/main.cpp b/lib/SMT/main.cpp
index 6b66e279..31fa311d 100644
--- a/lib/SMT/main.cpp
+++ b/lib/SMT/main.cpp
@@ -2,8 +2,6 @@
 
 #include "klee/ExprBuilder.h"
 
-
-using namespace std;
 using namespace klee;
 
 int main(int argc, char** argv) {