Implemented SkolemTermsManager.

1 files changed, 3 insertions, 2 deletions

diff --git a/src/uk/ac/ox/cs/pagoda/rules/ExistConstantApproximator.java b/src/uk/ac/ox/cs/pagoda/rules/ExistConstantApproximator.java
index 7c9562f..a7afa2e 100644
--- a/src/uk/ac/ox/cs/pagoda/rules/ExistConstantApproximator.java
+++ b/src/uk/ac/ox/cs/pagoda/rules/ExistConstantApproximator.java
@@ -1,9 +1,10 @@
 package uk.ac.ox.cs.pagoda.rules;
 
 import org.semanticweb.HermiT.model.DLClause;
-import uk.ac.ox.cs.pagoda.multistage.AnswerTupleID;
+import org.semanticweb.HermiT.model.Individual;
 import uk.ac.ox.cs.pagoda.rules.approximators.OverApproxExist;
 import uk.ac.ox.cs.pagoda.rules.approximators.TupleDependentApproximator;
+import uk.ac.ox.cs.pagoda.util.tuples.Tuple;
 
 import java.util.Collection;
 
@@ -19,7 +20,7 @@ public class ExistConstantApproximator implements TupleDependentApproximator {
     }
 
     @Override
-    public Collection<DLClause> convert(DLClause clause, DLClause originalClause, Collection<AnswerTupleID> violationTuples) {
+    public Collection<DLClause> convert(DLClause clause, DLClause originalClause, Collection<Tuple<Individual>> violationTuples) {
         return overApproxExist.convert(clause, originalClause);
     }
 }