Bug fixes for gc

[IRC.git] / Robust / src / IR / Flat / BuildCode.java

diff --git a/Robust/src/IR/Flat/BuildCode.java b/Robust/src/IR/Flat/BuildCode.java
index fdf15bc246652fc9876ecec3858638ce8c695b11..e1c36297c8f4ad6c2474cf3b8aa7742fc71b2dce 100644 (file)
--- a/Robust/src/IR/Flat/BuildCode.java
+++ b/Robust/src/IR/Flat/BuildCode.java
@@ -1581,7 +1581,6 @@ public class BuildCode {
          } else {
            globaldefprimout.println("  "+fd.getType().getSafeSymbol()+ " "+fd.getSafeSymbol()+";");
          }
-         globaldefscount++;
        }
       } else if (fd.isVolatile()) {
        //volatile field