diff options
Diffstat (limited to 'parsing/pcoq.mli')
-rw-r--r-- | parsing/pcoq.mli | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/parsing/pcoq.mli b/parsing/pcoq.mli index 1767f2fcd..a91a3592d 100644 --- a/parsing/pcoq.mli +++ b/parsing/pcoq.mli @@ -141,8 +141,6 @@ module Constr : val lconstr_pattern : constr_expr Gram.Entry.e val binder : (name located list * constr_expr) Gram.Entry.e val binder_let : local_binder Gram.Entry.e - val tuple_constr : constr_expr Gram.Entry.e - val tuple_pattern : cases_pattern_expr Gram.Entry.e end module Module : |