From b0cee89756ca126dfd3d3cc43d32605f4d4f93c1 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Sat, 2 Jul 2011 05:12:56 +0000
Subject: [PATCH] change

---
 Robust/src/IR/Flat/BuildCodeMGC.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Robust/src/IR/Flat/BuildCodeMGC.java b/Robust/src/IR/Flat/BuildCodeMGC.java
index 2759dbfa..90f326b5 100644
--- a/Robust/src/IR/Flat/BuildCodeMGC.java
+++ b/Robust/src/IR/Flat/BuildCodeMGC.java
@@ -192,7 +192,7 @@ public class BuildCodeMGC extends BuildCode {
       outmethod.println("     "+cd.getSafeSymbol()+md.getSafeSymbol()+"_"+md.getSafeMethodDescriptor()+"(stringarray);");
     }
     outmethod.println("   }");
-
+    outmethod.println("   return 0;");
     outmethod.println("}");
   }
 }
-- 
2.34.1