Making field exclusion checks more efficient.

[jpf-core.git] / src / main / gov / nasa / jpf / listener / ConflictTracker.java

diff --git a/src/main/gov/nasa/jpf/listener/ConflictTracker.java b/src/main/gov/nasa/jpf/listener/ConflictTracker.java
index cbd7e6642095ca7a1e24a04104543c86b2203002..620d1be410597f8ef34963696a895ca7c3e1592b 100644 (file)
--- a/src/main/gov/nasa/jpf/listener/ConflictTracker.java
+++ b/src/main/gov/nasa/jpf/listener/ConflictTracker.java
@@ -633,13 +633,8 @@ public class ConflictTracker extends ListenerAdapter {
 
        for (String var: conflictSet) {
                if (varName.contains(var)) {
-                       if (writer != null) {
-                               System.out.println("################# writer: "+writer);
-                               System.out.println("################# variable: "+varName);
-                               System.out.println("################# value: "+value);
-                               System.out.println("################# manual: "+manual);
+                       if (writer != null)
                                writeWriterAndValue(writer, varName, value);
-                       }
                }
        }