From 087012f8d3e5e31f489e35dce8397b5202c928b6 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Wed, 2 Aug 2017 01:57:48 +0200
Subject: Adding the open_constr scope

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

(limited to 'src/tac2core.ml')

diff --git a/src/tac2core.ml b/src/tac2core.ml
index 266e3b5f11..d2cc865299 100644
--- a/src/tac2core.ml
+++ b/src/tac2core.ml
@@ -876,3 +876,4 @@ let () = add_scope "intropatterns" begin function
 end
 
 let () = add_generic_scope "constr" Pcoq.Constr.constr Stdarg.wit_constr
+let () = add_generic_scope "open_constr" Pcoq.Constr.constr Stdarg.wit_open_constr
-- 
cgit v1.2.3