Implementing Limited Skolemisation, in particular SkolemTermsDispenser.

1 files changed, 5 insertions, 4 deletions

diff --git a/src/uk/ac/ox/cs/pagoda/rules/UpperDatalogProgram.java b/src/uk/ac/ox/cs/pagoda/rules/UpperDatalogProgram.java
index a4cd790..611e183 100644
--- a/src/uk/ac/ox/cs/pagoda/rules/UpperDatalogProgram.java
+++ b/src/uk/ac/ox/cs/pagoda/rules/UpperDatalogProgram.java
@@ -1,12 +1,13 @@
 package uk.ac.ox.cs.pagoda.rules;
 
+import org.semanticweb.HermiT.model.DLClause;
+import org.semanticweb.HermiT.model.DLPredicate;
+import uk.ac.ox.cs.pagoda.rules.approximators.OverApproxBoth;
+
 import java.util.Collection;
 import java.util.HashMap;
 import java.util.Map;
 
-import org.semanticweb.HermiT.model.DLClause;
-import org.semanticweb.HermiT.model.DLPredicate;
-
 
 public class UpperDatalogProgram extends UpperProgram {
         
@@ -22,7 +23,7 @@ public class UpperDatalogProgram extends UpperProgram {
 
         @Override
         protected void initApproximator() {
-                m_approx = new OverApproxBoth();                
+                m_approx = new OverApproxBoth();
         }
 
         public int getBottomNumber() {