From 2a5642e43b1bd30558dbf6e197950e874bc0f3f4 Mon Sep 17 00:00:00 2001
From: Abdul Zreika <azre6702@uni.sydney.edu.au>
Date: Mon, 19 Oct 2020 13:41:08 +1100
Subject: [PATCH] Removed unnecessary includes from constr-tr header.

---
 src/ast2ram/ConstraintTranslator.cpp |  3 +-
 src/ast2ram/ConstraintTranslator.h   | 42 +++-------------------------
 2 files changed, 6 insertions(+), 39 deletions(-)

diff --git a/src/ast2ram/ConstraintTranslator.cpp b/src/ast2ram/ConstraintTranslator.cpp
index 8b88ce8aaf6..3553e30de08 100644
--- a/src/ast2ram/ConstraintTranslator.cpp
+++ b/src/ast2ram/ConstraintTranslator.cpp
@@ -20,7 +20,8 @@
 #include "ast2ram/AstToRamTranslator.h"
 #include "ast2ram/ValueIndex.h"
 #include "ram/Constraint.h"
-#include "ram/Expression.h"
+#include "ram/EmptinessCheck.h"
+#include "ram/ExistenceCheck.h"
 #include "ram/Negation.h"
 #include "ram/ProvenanceExistenceCheck.h"
 #include "ram/UndefValue.h"
diff --git a/src/ast2ram/ConstraintTranslator.h b/src/ast2ram/ConstraintTranslator.h
index d919d87a3c3..ec9c9768574 100644
--- a/src/ast2ram/ConstraintTranslator.h
+++ b/src/ast2ram/ConstraintTranslator.h
@@ -15,44 +15,6 @@
 #pragma once
 
 #include "ast/utility/Visitor.h"
-#include "ram/Call.h"
-#include "ram/Clear.h"
-#include "ram/Condition.h"
-#include "ram/Conjunction.h"
-#include "ram/Constraint.h"
-#include "ram/DebugInfo.h"
-#include "ram/EmptinessCheck.h"
-#include "ram/ExistenceCheck.h"
-#include "ram/Exit.h"
-#include "ram/Expression.h"
-#include "ram/Extend.h"
-#include "ram/Filter.h"
-#include "ram/FloatConstant.h"
-#include "ram/IO.h"
-#include "ram/LogRelationTimer.h"
-#include "ram/LogSize.h"
-#include "ram/LogTimer.h"
-#include "ram/Loop.h"
-#include "ram/Negation.h"
-#include "ram/Parallel.h"
-#include "ram/Program.h"
-#include "ram/Project.h"
-#include "ram/ProvenanceExistenceCheck.h"
-#include "ram/Query.h"
-#include "ram/Relation.h"
-#include "ram/RelationSize.h"
-#include "ram/Scan.h"
-#include "ram/Sequence.h"
-#include "ram/SignedConstant.h"
-#include "ram/Statement.h"
-#include "ram/SubroutineArgument.h"
-#include "ram/SubroutineReturn.h"
-#include "ram/Swap.h"
-#include "ram/TranslationUnit.h"
-#include "ram/TupleElement.h"
-#include "ram/UndefValue.h"
-#include "ram/UnsignedConstant.h"
-#include "ram/utility/Utils.h"
 #include "souffle/utility/ContainerUtil.h"
 
 namespace souffle::ast {
@@ -62,6 +24,10 @@ class Negation;
 class ProvenanceNegation;
 }  // namespace souffle::ast
 
+namespace souffle::ram {
+class Condition;
+}
+
 namespace souffle::ast2ram {
 
 class ValueIndex;