From d8ac09df2702f2f168223db3e0717385acd6736c Mon Sep 17 00:00:00 2001
From: jzhou <jzhou>
Date: Wed, 2 Mar 2011 19:29:10 +0000
Subject: [PATCH] A small bug for Enum

---
 Robust/src/IR/Tree/BuildIR.java | 1 +
 1 file changed, 1 insertion(+)

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) {
-- 
2.34.1