bug fix

diff --git a/Robust/src/Analysis/Disjoint/SMFEState.java b/Robust/src/Analysis/Disjoint/SMFEState.java
index ecbd4524658c795ac16605afad96d74e98ebeea8..9f3857af4cc9016df01f6372f7945982b1fd442b 100644 (file)
--- a/Robust/src/Analysis/Disjoint/SMFEState.java
+++ b/Robust/src/Analysis/Disjoint/SMFEState.java
@@ -188,7 +188,7 @@ public class SMFEState {
 
         s += "\n  "+
           id+" -> "+state.id+
-          "[label=\""+e+"\"";
+          "[label=\""+e+", RC="+refCount+"\"";
        if (conflicts.contains(e))
          s+=",style=dashed";
        s+="];";