Removed unnecessary header in ast2ram.

souffle-lang · Oct 16, 2020 · 0d617a0 · 0d617a0
1 parent e54d3d6
commit 0d617a0
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/src/ast2ram/AstToRamTranslator.h b/src/ast2ram/AstToRamTranslator.h
@@ -16,7 +16,6 @@
 
 #pragma once
 
-#include "ram/Relation.h"
 #include "souffle/RamTypes.h"
 #include "souffle/utility/ContainerUtil.h"
 #include <cassert>