Removed polyanalysis from subtranslators.

souffle-lang · Nov 12, 2020 · f858421 · f858421
1 parent 85ab839
commit f858421
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 14 deletions.
diff --git a/src/ast2ram/ConstraintTranslator.h b/src/ast2ram/ConstraintTranslator.h
@@ -15,7 +15,6 @@
 #pragma once
 
 #include "ast/utility/Visitor.h"
-#include "ast2ram/AstToRamTranslator.h"
 #include "souffle/utility/ContainerUtil.h"
 
 namespace souffle::ast {
@@ -29,10 +28,6 @@ namespace souffle::ram {
 class Condition;
 }
 
-namespace souffle::ast::analysis {
-class PolymorphicObjectsAnalysis;
-}
-
 namespace souffle::ast2ram {
 
 class ValueIndex;
@@ -55,8 +50,6 @@ class ConstraintTranslator : public ast::Visitor<Own<ram::Condition>> {
 private:
     AstToRamTranslator& translator;
     const ValueIndex& index;
-    const ast::analysis::PolymorphicObjectsAnalysis* polyAnalysis =
-            translator.getPolymorphicObjectsAnalysis();
 };
 
 }  // namespace souffle::ast2ram
diff --git a/src/ast2ram/ValueTranslator.h b/src/ast2ram/ValueTranslator.h
@@ -15,7 +15,6 @@
 #pragma once
 
 #include "ast/utility/Visitor.h"
-#include "ast2ram/AstToRamTranslator.h"
 
 namespace souffle {
 class SymbolTable;
@@ -35,10 +34,6 @@ class UserDefinedFunctor;
 class Variable;
 }  // namespace souffle::ast
 
-namespace souffle::ast::analysis {
-class PolymorphicObjectsAnalysis;
-}
-
 namespace souffle::ram {
 class Expression;
 }
@@ -74,8 +69,6 @@ class ValueTranslator : public ast::Visitor<Own<ram::Expression>> {
     AstToRamTranslator& translator;
     const ValueIndex& index;
     SymbolTable& symTab;
-    const ast::analysis::PolymorphicObjectsAnalysis* polyAnalysis =
-            translator.getPolymorphicObjectsAnalysis();
 };
 
 }  // namespace souffle::ast2ram