From 58e6d87cb604702e7b307bad73c4fd42a694c3ec Mon Sep 17 00:00:00 2001
From: yzhou <yzhou@krr-linux.cs.ox.ac.uk>
Date: Sat, 2 May 2015 10:59:32 +0100
Subject: removed debug output for ore compitition

to add log info, check Utility.java LOGS
---
 src/uk/ac/ox/cs/pagoda/tracking/TrackingRuleEncoderDisjVar1.java | 4 ----
 1 file changed, 4 deletions(-)

(limited to 'src/uk/ac/ox/cs/pagoda/tracking/TrackingRuleEncoderDisjVar1.java')

diff --git a/src/uk/ac/ox/cs/pagoda/tracking/TrackingRuleEncoderDisjVar1.java b/src/uk/ac/ox/cs/pagoda/tracking/TrackingRuleEncoderDisjVar1.java
index 0d6b0c6..37116d4 100644
--- a/src/uk/ac/ox/cs/pagoda/tracking/TrackingRuleEncoderDisjVar1.java
+++ b/src/uk/ac/ox/cs/pagoda/tracking/TrackingRuleEncoderDisjVar1.java
@@ -428,10 +428,6 @@ public class TrackingRuleEncoderDisjVar1 extends TrackingRuleEncoderWithGap {
 			for (int i = 0; i < clause.getBodyLength(); ++i) 
 				newBodyAtoms[index++] = selectBodyAtoms[selectIndex++] = clause.getBodyAtom(i);
 
-			for (int i = 0; i < newBodyAtoms.length; ++i)
-				if (newBodyAtoms[i] == null) {
-					System.out.println(clause);
-				}
 			for (Atom atom: newHeadAtoms) {
 				newClause = DLClause.create(new Atom[] {atom}, newBodyAtoms); 
 				trackingClauses.add(newClause);
-- 
cgit v1.2.3