From: Richard W.M. Jones <rjones@redhat.com>
Date: Mon, 6 Jan 2020 20:54:09 +0000 (+0000)
Subject: parser: Fix parsing of patterns containing explicit tactic names.
X-Git-Tag: v'0.2'~73
X-Git-Url: http://git.annexia.org/?a=commitdiff_plain;h=dbfe6294c7bba85785a0571691d2553364409e25;hp=70a08a62b9312ed1bbcb7c89d47f9a25fa221e34;p=goals.git

parser: Fix parsing of patterns containing explicit tactic names.
---

diff --git a/src/parser.mly b/src/parser.mly
index faccb6b..c59a555 100644
--- a/src/parser.mly
+++ b/src/parser.mly
@@ -148,7 +148,7 @@ patterns:
     ;
 pattern:
     | STRING     { Ast.PTactic ($loc, "*file", [$1]) }
-    | ID pattern_params { Ast.PTactic ($loc, $1, $2) }
+    | TACTIC pattern_params { Ast.PTactic ($loc, $1, $2) }
     ;
 pattern_params:
     | LEFT_PAREN separated_list(COMMA, pattern_param) RIGHT_PAREN { $2 }