Fixing a bug in ConflictTracker.java
[jpf-core.git] / src / main / gov / nasa / jpf / listener / ConflictTracker.java
index 3621a49..ca405b2 100644 (file)
@@ -187,6 +187,8 @@ public class ConflictTracker extends ListenerAdapter {
 
        if (setSet != null) {
                for (int i = 0;i < setSet.size();i++) {
+                       if (currentNode.getOutSet().contains(setSet.get(i)))
+                               currentNode.getOutSet().remove(setSet.get(i));
                        isChanged |= currentNode.getOutSet().add(setSet.get(i));
                }
        }