Cleaned up include headers in translator.

souffle-lang · Nov 13, 2020 · d98251c · d98251c
1 parent e87cd96
commit d98251c
Showing 1 changed file with 0 additions and 8 deletions.
diff --git 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"