From: bdemsky <bdemsky>
Date: Wed, 6 Apr 2011 03:31:46 +0000 (+0000)
Subject: bug fix
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=388b39bac10c59fd92c494ecf42442ddf46fb6b0;p=IRC.git

bug fix
---

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+="];";