Skip to content

Commit 58a5475

Browse files
author
RajShivu
committed
Fix refinement handling in rj grammar
1 parent ab4d600 commit 58a5475

1 file changed

Lines changed: 1 addition & 1 deletion

File tree

  • liquidjava-verifier/src/main/antlr4/rj/grammar

liquidjava-verifier/src/main/antlr4/rj/grammar/RJ.g4

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -92,7 +92,7 @@ BOOL : 'true' | 'false';
9292
ID_UPPER: ([A-Z][a-zA-Z0-9]*);
9393
OBJECT_TYPE:
9494
(([a-zA-Z][a-zA-Z0-9]+) ('.' [a-zA-Z][a-zA-Z0-9]*)+);
95-
ID : '#'*[a-zA-Z_][a-zA-Z0-9_#]*;
95+
ID : '#'*('$')? [a-zA-Z_] [a-zA-Z0-9_#]* ;
9696
STRING : '"'(~["])*'"';
9797
INT : (([0-9]+) | ([0-9]+('_'[0-9]+)*));
9898
REAL : (([0-9]+('.'[0-9]+)?) | '.'[0-9]+);

0 commit comments

Comments
 (0)