refactoring the lattice implementation / having a way to declare the variable with...

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

diff --git a/Robust/src/Parse/java14.cup b/Robust/src/Parse/java14.cup
index d25c325b668c1330d58cf46de56b0617a162319a..c6b069ff875c1e4703b0bbbfcb6b76390e613d6f 100644 (file)
--- a/Robust/src/Parse/java14.cup
+++ b/Robust/src/Parse/java14.cup
@@ -839,7 +839,7 @@ marker_annotation_body ::=
        :}
         ;
 single_element_annotation_body ::=
-                IDENTIFIER:id LPAREN element_value:ev RPAREN {:
+                IDENTIFIER:id LPAREN STRING_LITERAL:ev RPAREN {:
                 ParseNode pn=new ParseNode("single_annotation");
                pn.addChild("name").addChild(id);
                pn.addChild("element_value").addChild(ev);