Jim told me to do this...

diff --git a/Robust/src/Analysis/Disjoint/SMFEState.java b/Robust/src/Analysis/Disjoint/SMFEState.java
index 9f9818f2f1b943fc54e888452f0196797fedf859..cce0a082abd9c2cb1ad1034416e10a8796126cd7 100644 (file)
--- a/Robust/src/Analysis/Disjoint/SMFEState.java
+++ b/Robust/src/Analysis/Disjoint/SMFEState.java
@@ -62,6 +62,7 @@ public class SMFEState {
     this.iHashCode  = fnWhereDefined.hashCode();
 
     effects         = new HashSet<Effect>();
+    conflicts       = new HashSet<Effect>();
     e2states        = new Hashtable< Effect, Set<SMFEState> >();
     refCount        = 0;
   }
@@ -98,6 +99,8 @@ public class SMFEState {
   }
   
   public Set<Effect> getConflicts() {
+    //TODO JIM! Fix this when have a chance!
+    conflicts.addAll(effects);
     return this.conflicts;
   }