From 51e6ec92503dc11f235be973b141654aa6cea01e Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Tue, 9 May 2006 00:40:49 +0000
Subject: [PATCH] small change

---
 Robust/src/Parse/java14.cup | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/Robust/src/Parse/java14.cup b/Robust/src/Parse/java14.cup
index 381ab5e3..8811df08 100644
--- 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 {: 
-- 
2.34.1