From dbfe6294c7bba85785a0571691d2553364409e25 Mon Sep 17 00:00:00 2001
From: "Richard W.M. Jones" <rjones@redhat.com>
Date: Mon, 6 Jan 2020 20:54:09 +0000
Subject: [PATCH] parser: Fix parsing of patterns containing explicit tactic
 names.

---
 src/parser.mly | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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 }
-- 
1.8.3.1