Skip to content

GitLab

P
ProofScriptParser
Commit c8730ab9 authored by Sarah Grebing's avatar Sarah Grebing
Browse files
Options

Matchen von updates

parent 39742e5c
Pipeline #15558 passed with stages
          in 8 minutes and 35 seconds
          Hide whitespace changes
          Inline Side-by-side
          Showing with 1 addition and 1 deletion
          matcher/src/main/antlr4/edu/kit/formal/psdb/termmatcher/MatchPattern.g4
          View file @ c8730ab9
          ......@@ -75,7 +75,7 @@ EXISTS: '\exists';
          DIGITS : DIGIT+ ;
          fragment DIGIT : [0-9] ;
          SID: '?' [_a-zA-Z0-9\\]+ ;
          ID : [a-zA-Z\\_] ([_a-zA-Z0-9\\])*;
          ID : [a-zA-Z\\_] ([_a-zA-Z0-9\\])*| 'update-application';
          COMMENT: '//' ~[\n\r]* -> channel(HIDDEN);
          WS: [\n\f\r\t ] -> channel(HIDDEN);
          Markdown is supported
          0% or
          You are about to add 0 people to the discussion. Proceed with caution.
          Finish editing this message first!
          Please register or to comment