From 388b39bac10c59fd92c494ecf42442ddf46fb6b0 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Wed, 6 Apr 2011 03:31:46 +0000
Subject: [PATCH] bug fix

---
 Robust/src/Analysis/Disjoint/SMFEState.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Robust/src/Analysis/Disjoint/SMFEState.java b/Robust/src/Analysis/Disjoint/SMFEState.java
index ecbd4524..9f3857af 100644
--- 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+="];";
-- 
2.34.1