From: jzhou <jzhou>
Date: Wed, 2 Mar 2011 19:29:10 +0000 (+0000)
Subject: A small bug for Enum
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=d8ac09df2702f2f168223db3e0717385acd6736c;p=IRC.git

A small bug for Enum
---

diff --git a/Robust/src/IR/Tree/BuildIR.java b/Robust/src/IR/Tree/BuildIR.java
index 5634955b..fd12e968 100644
--- a/Robust/src/IR/Tree/BuildIR.java
+++ b/Robust/src/IR/Tree/BuildIR.java
@@ -497,6 +497,7 @@ public class BuildIR {
     ParseNode enumnode=pn.getChild("enum_declaration");
     if (enumnode!=null) {
       parseEnumDecl(cn,enumnode);
+      return;
     }
     ParseNode flagnode=pn.getChild("flag");
     if (flagnode!=null) {