From d98251cf2b7ad4da9ea816565aae4d67d5bb18d2 Mon Sep 17 00:00:00 2001
From: Abdul Zreika <azre6702@uni.sydney.edu.au>
Date: Fri, 13 Nov 2020 16:05:14 +1100
Subject: [PATCH] Cleaned up include headers in translator.

---
 src/ast2ram/AstToRamTranslator.cpp | 8 --------
 1 file changed, 8 deletions(-)

diff --git a/src/ast2ram/AstToRamTranslator.cpp b/src/ast2ram/AstToRamTranslator.cpp
index 55a1e8f684c..71bae1fd959 100644
--- a/src/ast2ram/AstToRamTranslator.cpp
+++ b/src/ast2ram/AstToRamTranslator.cpp
@@ -24,10 +24,8 @@
 #include "ast/BranchInit.h"
 #include "ast/Clause.h"
 #include "ast/Constant.h"
-#include "ast/Constraint.h"
 #include "ast/Directive.h"
 #include "ast/Functor.h"
-#include "ast/Literal.h"
 #include "ast/Negation.h"
 #include "ast/NilConstant.h"
 #include "ast/Node.h"
@@ -37,7 +35,6 @@
 #include "ast/RecordInit.h"
 #include "ast/Relation.h"
 #include "ast/StringConstant.h"
-#include "ast/SubroutineArgument.h"
 #include "ast/TranslationUnit.h"
 #include "ast/UnnamedVariable.h"
 #include "ast/Variable.h"
@@ -61,7 +58,6 @@
 #include "ast2ram/ClauseTranslator.h"
 #include "ast2ram/ConstraintTranslator.h"
 #include "ast2ram/Location.h"
-#include "ast2ram/ProvenanceClauseTranslator.h"
 #include "ast2ram/ValueIndex.h"
 #include "ast2ram/ValueTranslator.h"
 #include "ram/Call.h"
@@ -71,7 +67,6 @@
 #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"
@@ -93,12 +88,9 @@
 #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 "reports/DebugReport.h"