1 files changed, 0 insertions, 4 deletions

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);