Added more tests.

Querying of the upper bound is currently unstable.

1 files changed, 3 insertions, 3 deletions

diff --git a/src/uk/ac/ox/cs/pagoda/reasoner/ELHOQueryReasoner.java b/src/uk/ac/ox/cs/pagoda/reasoner/ELHOQueryReasoner.java
index 2285b5f..f5a8093 100644
--- a/src/uk/ac/ox/cs/pagoda/reasoner/ELHOQueryReasoner.java
+++ b/src/uk/ac/ox/cs/pagoda/reasoner/ELHOQueryReasoner.java
@@ -34,9 +34,9 @@ class ELHOQueryReasoner extends QueryReasoner {
                 } finally {
                         if (elAnswer != null) elAnswer.dispose();
                 }
-                queryRecord.addProcessingTime(Step.ELLowerBound, t.duration());
-                
-                queryRecord.setDifficulty(Step.ELLowerBound);
+                queryRecord.addProcessingTime(Step.EL_LOWER_BOUND, t.duration());
+
+                queryRecord.setDifficulty(Step.EL_LOWER_BOUND);
                 queryRecord.markAsProcessed();
         }