Implementing Limited Skolemisation, in particular SkolemTermsDispenser.

1 files changed, 3 insertions, 1 deletions

diff --git a/src/uk/ac/ox/cs/pagoda/rules/DisjunctiveProgram.java b/src/uk/ac/ox/cs/pagoda/rules/DisjunctiveProgram.java
index 6ebe666..d50c2d4 100644
--- a/src/uk/ac/ox/cs/pagoda/rules/DisjunctiveProgram.java
+++ b/src/uk/ac/ox/cs/pagoda/rules/DisjunctiveProgram.java
@@ -1,10 +1,12 @@
 package uk.ac.ox.cs.pagoda.rules;
 
+import uk.ac.ox.cs.pagoda.rules.approximators.OverApproxExist;
+
 public class DisjunctiveProgram extends UpperProgram {
 
         @Override
         protected void initApproximator() {
-                m_approx = new OverApproxExist(); 
+                m_approx = new OverApproxExist();
         }
         
 //      @Override