From f204058d329fa78b506f4c3b3c4f97ecce504d4b Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Wed, 26 Jul 2017 21:27:36 +0200
Subject: Adding necessary primitives to do pattern-matching over constr.

---
 src/tac2env.ml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/tac2env.ml')

diff --git a/src/tac2env.ml b/src/tac2env.ml
index 6e47e78a9d..2094898ced 100644
--- a/src/tac2env.ml
+++ b/src/tac2env.ml
@@ -242,6 +242,7 @@ let coq_prefix =
 (** Generic arguments *)
 
 let wit_ltac2 = Genarg.make0 "ltac2"
+let wit_pattern = Genarg.make0 "ltac2:pattern"
 
 let is_constructor qid =
   let (_, id) = repr_qualid qid in
-- 
cgit v1.2.3