bug fix

diff --git a/Robust/src/Analysis/Disjoint/SMFEState.java b/Robust/src/Analysis/Disjoint/SMFEState.java
index f9444c92609d565ce1431467f6f2147b6644e6bb..2899d318ac19736baf9ed84380fb6ed247eacc72 100644 (file)
--- 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++;
+    }
   }