A small bug for Enum

diff --git a/Robust/src/IR/Tree/BuildIR.java b/Robust/src/IR/Tree/BuildIR.java
index 5634955bb07586082302e90436a7cb9997cfab26..fd12e968524a20488c24e45edb57e9b3c7fd78b4 100644 (file)
--- 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) {