working on task mem pool, there is a crash bug, use -ooodebug-disable-task-mem-pool...

[IRC.git] / Robust / src / Analysis / OoOJava / RBlockRelationAnalysis.java

diff --git a/Robust/src/Analysis/OoOJava/RBlockRelationAnalysis.java b/Robust/src/Analysis/OoOJava/RBlockRelationAnalysis.java
index 73f90ced5e270fefbca8519908ddf408dfe63670..416e1e9af6039d9712ddf0e3ce18d90d52820c60 100644 (file)
--- a/Robust/src/Analysis/OoOJava/RBlockRelationAnalysis.java
+++ b/Robust/src/Analysis/OoOJava/RBlockRelationAnalysis.java
@@ -214,7 +214,7 @@ public class RBlockRelationAnalysis {
          ) {
       FlatSESEEnterNode fsen = itr.next();
       
-      boolean hasNoNestedChildren = !fsen.getChildren().isEmpty();
+      boolean hasNoNestedChildren = fsen.getChildren().isEmpty();
       boolean hasNoChildrenByCall = !hasChildrenByCall( fsen );
 
       fsen.setIsLeafSESE( hasNoNestedChildren &&