diff options
Diffstat (limited to 'src/tac2core.ml')
| -rw-r--r-- | src/tac2core.ml | 1 |
1 files changed, 1 insertions, 0 deletions
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 |