From: bdemsky <bdemsky>
Date: Fri, 25 Mar 2011 19:47:14 +0000 (+0000)
Subject: bug fix
X-Git-Url: http://plrg.eecs.uci.edu/git/?a=commitdiff_plain;h=111fd1e936334b422db78608966540ae8d81ad6b;p=IRC.git

bug fix
---

diff --git a/Robust/src/Analysis/Disjoint/SMFEState.java b/Robust/src/Analysis/Disjoint/SMFEState.java
index f9444c92..2899d318 100644
--- a/Robust/src/Analysis/Disjoint/SMFEState.java
+++ b/Robust/src/Analysis/Disjoint/SMFEState.java
@@ -75,8 +75,10 @@ public class SMFEState {
       states = new HashSet<SMFEState>();
       e2states.put( effect, states );
     }
-    states.add( stateTo );
-    stateTo.refCount++;
+    if (!states.contains(stateTo)) {
+      states.add( stateTo );
+      stateTo.refCount++;
+    }
   }