1 files changed, 1 insertions, 1 deletions

diff --git a/src/uk/ac/ox/cs/pagoda/reasoner/ConsistencyManager.java b/src/uk/ac/ox/cs/pagoda/reasoner/ConsistencyManager.java
index 7d3e40c..63fe246 100644
--- a/src/uk/ac/ox/cs/pagoda/reasoner/ConsistencyManager.java
+++ b/src/uk/ac/ox/cs/pagoda/reasoner/ConsistencyManager.java
@@ -108,7 +108,7 @@ public class ConsistencyManager {
                 } catch (OWLOntologyCreationException e) {
                         e.printStackTrace();
                 }
-                fullQueryRecord.saveRelevantClause();
+//              fullQueryRecord.saveRelevantClause();
                 
                 boolean satisfiability;