X-Git-Url: http://plrg.eecs.uci.edu/git/?p=jpf-core.git;a=blobdiff_plain;f=src%2Fmain%2Fgov%2Fnasa%2Fjpf%2Flistener%2FConflictTracker.java;h=ca405b25dacf78abaec4f885cbef1ef0c7852956;hp=3621a49ac3598589be39941c1107a27b20a919c2;hb=f88ae9b28b6d0ea5a9af01356217e2a419ee39dc;hpb=7f5a7295be6ff2ddf69268f5c73d80a5d5428a2a

diff --git a/src/main/gov/nasa/jpf/listener/ConflictTracker.java b/src/main/gov/nasa/jpf/listener/ConflictTracker.java
index 3621a49..ca405b2 100644
--- a/src/main/gov/nasa/jpf/listener/ConflictTracker.java
+++ b/src/main/gov/nasa/jpf/listener/ConflictTracker.java
@@ -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));
 		}
 	}