[csmith-dev] [PATCH 5/5] remove more unneeded header files

[lists@eitanadler.com]

From: Eitan Adler <lists@eitanadler.com>


Signed-off-by: Eitan Adler <lists@eitanadler.com>
---
 src/ArrayVariable.cpp |    8 +-------
 1 files changed, 1 insertions(+), 7 deletions(-)

diff --git a/src/ArrayVariable.cpp b/src/ArrayVariable.cpp
index dff1910..e4d3f63 100644
--- a/src/ArrayVariable.cpp
+++ b/src/ArrayVariable.cpp
@@ -39,24 +39,18 @@
 #include "CGOptions.h"
 #include "Constant.h"
 #include "Effect.h"
-#include "Function.h"
 #include "Type.h"
-#include "Fact.h"
 #include "FactMgr.h"
-#include "FactPointTo.h"
 #include "FactUnion.h"
+#include "Function.h"
 #include "random.h"
 #include "util.h"
 #include "Lhs.h"
 #include "ExpressionVariable.h"
 #include "ExpressionFuncall.h"
-#include "Bookkeeper.h"
-#include "Filter.h"
 #include "Error.h"
 #include "CVQualifiers.h"
 #include "VariableSelector.h"
-#include "SafeOpFlags.h"
-#include "OutputMgr.h"
 #include "StringUtils.h"
 
 using std::vector;
-- 
1.7.7.3