removed duplicate header files

csmith-project · Sep 20, 2015 · cec5c44 · cec5c44
1 parent 831c79c
commit cec5c44
Show file tree

Hide file tree

Showing 3 changed files with 0 additions and 3 deletions.
diff --git a/src/Function.cpp b/src/Function.cpp
@@ -56,7 +56,6 @@
 #include "util.h"
 #include "Fact.h"
 #include "FactPointTo.h"
-#include "FactMgr.h"
 #include "VectorFilter.h"
 #include "Error.h"
 #include "DepthSpec.h"

diff --git a/src/Lhs.cpp b/src/Lhs.cpp
@@ -44,7 +44,6 @@
 #include "Bookkeeper.h"
 #include "Error.h"
 #include "DepthSpec.h"
-#include "CGOptions.h"
 #include "ArrayVariable.h"
 #include "random.h"
 

diff --git a/src/StatementGoto.cpp b/src/StatementGoto.cpp
@@ -37,7 +37,6 @@
 #include "CGOptions.h"
 #include "CGContext.h"
 #include "Block.h"
-#include "Type.h"
 #include "Function.h"
 #include "Expression.h"
 #include "ExpressionVariable.h"