NOT-WORKING: trying to add query-dependent Skolemisation.

1 files changed, 2 insertions, 2 deletions

diff --git a/src/uk/ac/ox/cs/pagoda/reasoner/RLUQueryReasoner.java b/src/uk/ac/ox/cs/pagoda/reasoner/RLUQueryReasoner.java
index bdef436..547140a 100644
--- a/src/uk/ac/ox/cs/pagoda/reasoner/RLUQueryReasoner.java
+++ b/src/uk/ac/ox/cs/pagoda/reasoner/RLUQueryReasoner.java
@@ -53,8 +53,8 @@ class RLUQueryReasoner extends QueryReasoner {
                         if (ans != null) ans.dispose();
                 }
                 queryRecord.addProcessingTime(Step.UPPER_BOUND, t.duration());
-                
-                if (queryRecord.processed())
+
+                if(queryRecord.isProcessed())
                         queryRecord.setDifficulty(Step.UPPER_BOUND);
         }