Removed unnecessary include from ast2ram header.

Thanks to moving out constraint translator :)
souffle-lang · Oct 19, 2020 · 05c2b32 · 05c2b32
1 parent 9d70b53
commit 05c2b32
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/src/ast2ram/AstToRamTranslator.cpp b/src/ast2ram/AstToRamTranslator.cpp
@@ -82,7 +82,6 @@
 #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"