small change

diff --git a/Robust/src/Parse/java14.cup b/Robust/src/Parse/java14.cup
index 381ab5e35f77d578ff3e1129e0464d5b479d36fd..8811df087d3bcaa0b6d23b056ac90ab1b5fbcd75 100644 (file)
--- a/Robust/src/Parse/java14.cup
+++ b/Robust/src/Parse/java14.cup
@@ -314,12 +314,12 @@ flag_notexpression ::=
        :}
        ;
 
-task_exitstatement ::= TASKEXIT flag_effects_opt SEMICOLON{: 
-               RESULT=new ParseNode("taskexit");
+task_exitstatement ::= TASKEXIT flag_effects_opt:opt SEMICOLON{: 
+               RESULT=(new ParseNode("taskexit")).addChild(opt).getRoot();
        :};
 
 flag_effects_opt ::= LPAREN flag_effects:fe RPAREN {:RESULT=fe;:}
-       | {: RESULT = null; :}
+       | {: RESULT = new ParseNode("empty"); :}
        ;
 
 flag_effects ::= flag_effect:fe {: