Implementing Limited Skolemisation, in particular SkolemTermsDispenser.

1 files changed, 3 insertions, 1 deletions

diff --git a/src/uk/ac/ox/cs/pagoda/rules/ExistentialProgram.java b/src/uk/ac/ox/cs/pagoda/rules/ExistentialProgram.java
index 64d018f..e825917 100644
--- a/src/uk/ac/ox/cs/pagoda/rules/ExistentialProgram.java
+++ b/src/uk/ac/ox/cs/pagoda/rules/ExistentialProgram.java
@@ -1,5 +1,7 @@
 package uk.ac.ox.cs.pagoda.rules;
 
+import uk.ac.ox.cs.pagoda.rules.approximators.OverApproxDisj;
+
 public class ExistentialProgram extends UpperProgram {
 
 //      @Override
@@ -12,7 +14,7 @@ public class ExistentialProgram extends UpperProgram {
 
         @Override
         protected void initApproximator() {
-                m_approx = new OverApproxDisj();                
+                m_approx = new OverApproxDisj();
         }
 
 }