From 4013a9d33d0f1a06b87d12dd0543912c53bba137 Mon Sep 17 00:00:00 2001
From: yzhou <yzhou@krr-linux.cs.ox.ac.uk>
Date: Tue, 28 Apr 2015 17:13:55 +0100
Subject: pass the wine realisation

---
 src/uk/ac/ox/cs/pagoda/reasoner/ConsistencyManager.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/uk/ac/ox/cs/pagoda/reasoner/ConsistencyManager.java')

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; 
 		
-- 
cgit v1.2.3