From 805211a603431f4ba351e0164b0bd147a771a1a0 Mon Sep 17 00:00:00 2001
From: Dabrowski
Date: Wed, 5 Jun 2019 00:00:18 +0200
Subject: allow empty tactic_rules in ARGUMENT EXTEND

---
 coqpp/coqpp_parse.mly | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'coqpp')

diff --git a/coqpp/coqpp_parse.mly b/coqpp/coqpp_parse.mly
index 43ba990f6a..f7959f8201 100644
--- a/coqpp/coqpp_parse.mly
+++ b/coqpp/coqpp_parse.mly
@@ -270,7 +270,7 @@ tactic_level:
 ;
 
 tactic_rules:
-| tactic_rule { [$1] }
+| { [] }
 | tactic_rule tactic_rules { $1 :: $2 }
 ;
 
-- 
cgit v1.2.3