change

diff --git a/Robust/src/Parse/java14.cup b/Robust/src/Parse/java14.cup
index 9f0f555300e2352c7d3adf945175cc5d2aaa7f6f..85d18b58f97a95cf983e81df9cfcd597e166073f 100644 (file)
--- a/Robust/src/Parse/java14.cup
+++ b/Robust/src/Parse/java14.cup
@@ -1480,7 +1480,7 @@ array_creation_uninit ::=
                pn.addChild("dims_opt").setLiteral(dims);
                RESULT=pn;
        :}
-       |       NEW GLOBAL primitive_type:type dim_exprs:dimexpr dims_opt:dims {: 
+       |       GLOBAL NEW primitive_type:type dim_exprs:dimexpr dims_opt:dims {: 
                ParseNode pn=new ParseNode("createarray");
                pn.addChild(type);
                pn.addChild(dimexpr);
@@ -1488,7 +1488,7 @@ array_creation_uninit ::=
                pn.addChild("global");
                RESULT=pn;
                :}
-       |       NEW GLOBAL class_or_interface_type:type dim_exprs:dimexpr dims_opt:dims {: 
+       |       GLOBAL NEW class_or_interface_type:type dim_exprs:dimexpr dims_opt:dims {: 
                ParseNode pn=new ParseNode("createarray");
                pn.addChild(type);
                pn.addChild(dimexpr);