Outgoing socket I/O

[IRC.git] / Robust / src / Parse / java14.cup

diff --git a/Robust/src/Parse/java14.cup b/Robust/src/Parse/java14.cup
index 68773750e3f303b80f5cf4563d899f9ee8863f50..6d20085555d858de7a482553b82f7d940e987bb3 100644 (file)
--- a/Robust/src/Parse/java14.cup
+++ b/Robust/src/Parse/java14.cup
@@ -368,7 +368,9 @@ flag_effect ::= IDENTIFIER:id LBRACE flag_list:fl RBRACE {:
        :};
 
 flag_list_opt ::= LBRACE flag_list:fl RBRACE {:RESULT=fl;:}
-       | {: RESULT = new ParseNode("empty"); :}
+       | LBRACE RBRACE {: RESULT = new ParseNode("empty"); :}  
+       | 
+       {: RESULT = new ParseNode("empty"); :}
        ;
 
 flag_list ::= flag_change:fc {: