From a78fd1d4f4edecc24567d9f8e6ae5b5d7cf640c8 Mon Sep 17 00:00:00 2001
From: jjenista <jjenista>
Date: Tue, 30 Mar 2010 21:39:33 +0000
Subject: [PATCH] why was this missing--latent bug

---
 Robust/src/Analysis/Disjoint/ReachGraph.java | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/Robust/src/Analysis/Disjoint/ReachGraph.java b/Robust/src/Analysis/Disjoint/ReachGraph.java
index 7dba300b..d775acaa 100644
--- a/Robust/src/Analysis/Disjoint/ReachGraph.java
+++ b/Robust/src/Analysis/Disjoint/ReachGraph.java
@@ -3718,7 +3718,9 @@ public class ReachGraph {
       return false;
     }
 
-    
+    if( !areallREinAandBequal( rg, this ) ) {
+      return false;
+    }    
 
     return true;
   }
-- 
2.34.1