1 files changed, 0 insertions, 4 deletions
diff --git a/lib/Core/PTree.h b/lib/Core/PTree.h
index 2ac688bd..11d3f48c 100644
--- a/lib/Core/PTree.h
+++ b/lib/Core/PTree.h
@@ -12,10 +12,6 @@
 
 #include <klee/Expr.h>
 
-#include <utility>
-#include <cassert>
-#include <iostream>
-
 namespace klee {
   class ExecutionState;