1 files changed, 1 insertions, 0 deletions

diff --git a/src/uk/ac/ox/cs/pagoda/reasoner/full/HermitChecker.java b/src/uk/ac/ox/cs/pagoda/reasoner/full/HermitChecker.java
index 35db0f2..9cfc773 100644
--- a/src/uk/ac/ox/cs/pagoda/reasoner/full/HermitChecker.java
+++ b/src/uk/ac/ox/cs/pagoda/reasoner/full/HermitChecker.java
@@ -101,6 +101,7 @@ public class HermitChecker extends Checker {
 
 //              for (OWLAxiom axiom: toCheckAxioms)     System.out.println(axiom.toString());
 
+//              Utility.logInfo(toCheckAxioms);
                 if(hermit.isEntailed(toCheckAxioms)) {
                         Utility.logDebug("@TIME to check one tuple: " + t.duration());
                         return true;