bug fix

diff --git a/Robust/src/IR/Flat/BuildCode.java b/Robust/src/IR/Flat/BuildCode.java
index bdf2b645d6ff86dcd0eead8154a6417d923fed4b..aca3697b1431a5d43b10b13e02aa893a195d1d94 100644 (file)
--- a/Robust/src/IR/Flat/BuildCode.java
+++ b/Robust/src/IR/Flat/BuildCode.java
@@ -3887,16 +3887,16 @@ public class BuildCode {
          output.println("     "+pair1+" = "+pair2+";");
        }      
        output.println("     "+pairNewest+" = &(seseToIssue->common);");
-      }
-      // no need to add a reference to whatever is the newest record, because
-      // we initialized seseToIssue->refCount to *2*
-      // but release a reference to whatever was the oldest BEFORE the shift
-      output.println("#ifndef OOO_DISABLE_TASKMEMPOOL" );
-      output.println("     if( "+pairOldest+" != NULL ) {");
-      output.println("       RELEASE_REFERENCE_TO( "+pairOldest+" );");
-      output.println("     }");
-      output.println("#endif // OOO_DISABLE_TASKMEMPOOL" );
 
+        // no need to add a reference to whatever is the newest record, because
+        // we initialized seseToIssue->refCount to *2*
+        // but release a reference to whatever was the oldest BEFORE the shift
+        output.println("#ifndef OOO_DISABLE_TASKMEMPOOL" );
+        output.println("     if( "+pairOldest+" != NULL ) {");
+        output.println("       RELEASE_REFERENCE_TO( "+pairOldest+" );");
+        output.println("     }");
+        output.println("#endif // OOO_DISABLE_TASKMEMPOOL" );
+      }