From a16d59c28d9444f80eeb1670f39e39e4c8253aad Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Fri, 26 Mar 2010 05:15:28 +0000
Subject: [PATCH] bug fix

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

diff --git a/Robust/src/Analysis/Disjoint/ReachGraph.java b/Robust/src/Analysis/Disjoint/ReachGraph.java
index f67efa91..f43d8e35 100644
--- a/Robust/src/Analysis/Disjoint/ReachGraph.java
+++ b/Robust/src/Analysis/Disjoint/ReachGraph.java
@@ -18,7 +18,7 @@ public class ReachGraph {
   // some frequently used reachability constants
   protected static final ReachState rstateEmpty        = ReachState.factory();
   protected static final ReachSet   rsetEmpty          = ReachSet.factory();
-  protected static final ReachSet   rsetWithEmptyState = ReachSet.factory( rstateEmpty );
+  protected static final ReachSet   rsetWithEmptyState = Canonical.makePredsTrue(ReachSet.factory( rstateEmpty ));
 
   // predicate constants
   protected static final ExistPred    predTrue   = ExistPred.factory(); // if no args, true
-- 
2.34.1