From 111fd1e936334b422db78608966540ae8d81ad6b Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Fri, 25 Mar 2011 19:47:14 +0000
Subject: [PATCH] bug fix

---
 Robust/src/Analysis/Disjoint/SMFEState.java | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

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++;
+    }
   }
 
 
-- 
2.34.1