error correction

d346acc2 · Sarah Grebing · fbb4f8e4 · d346acc2
Commit d346acc2 authored May 17, 2017 by Sarah Grebing
--- a/src/main/antlr4/edu/kit/formal/proofscriptparser/ScriptLanguage.g4
+++ b/src/main/antlr4/edu/kit/formal/proofscriptparser/ScriptLanguage.g4
@@ -75,7 +75,7 @@ literals :

     </pre>*/
 matchPattern
-    :   MATCH matchPattern=expression
+    :   MATCH pattern=expression
        (USING LBRACKET argList RBRACKET)?
    ;