| summaryrefslogtreecommitdiff |
diff options
Diffstat (limited to 'instr-to-kodkod/parser')
| -rw-r--r-- | instr-to-kodkod/parser/PropertyLexer.g4 | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/instr-to-kodkod/parser/PropertyLexer.g4 b/instr-to-kodkod/parser/PropertyLexer.g4 index 3b6011d..e100efb 100644 --- a/instr-to-kodkod/parser/PropertyLexer.g4 +++ b/instr-to-kodkod/parser/PropertyLexer.g4 @@ -37,7 +37,7 @@ DEPTH_NO_CHANGE_OPERATOR_KW: ('(NDCB' | '(does_not_change_depth_before') SEP; WS: SEP; -ID: [a-zA-Z0-9_]+; +ID: [a-zA-Z0-9_~]+; STRING: '"' ~('\r' | '\n' | '"')* '"'; -COMMENT: ';;' .*? '\n' -> channel(HIDDEN); +COMMENT: (';;'|'#require') .*? '\n' -> channel(HIDDEN); |