From 9ebf44d84754adc5b64fcf612c6816c02c80462d Mon Sep 17 00:00:00 2001
From: Benjamin Barenblat <bbaren@debian.org>
Date: Sat, 2 Feb 2019 19:29:23 -0500
Subject: Imported Upstream version 8.9.0

---
 interp/stdarg.ml | 15 ++-------------
 1 file changed, 2 insertions(+), 13 deletions(-)

(limited to 'interp/stdarg.ml')

diff --git a/interp/stdarg.ml b/interp/stdarg.ml
index e5ed58be..7b01b6dc 100644
--- a/interp/stdarg.ml
+++ b/interp/stdarg.ml
@@ -11,6 +11,8 @@
 open Genarg
 open Geninterp
 
+type 'a and_short_name = 'a * Names.lident option
+
 let make0 ?dyn name =
   let wit = Genarg.make0 name in
   let () = register_val0 wit dyn in
@@ -34,9 +36,6 @@ let wit_pre_ident : string uniform_genarg_type =
 let wit_int_or_var =
   make0 ~dyn:(val_tag (topwit wit_int)) "int_or_var"
 
-let wit_intro_pattern =
-  make0 "intropattern"
-
 let wit_ident =
   make0 "ident"
 
@@ -45,8 +44,6 @@ let wit_var =
 
 let wit_ref = make0 "ref"
 
-let wit_quant_hyp = make0 "quant_hyp"
-
 let wit_sort_family = make0 "sort_family"
 
 let wit_constr =
@@ -56,12 +53,6 @@ let wit_uconstr = make0 "uconstr"
 
 let wit_open_constr = make0 ~dyn:(val_tag (topwit wit_constr)) "open_constr"
 
-let wit_constr_with_bindings = make0 "constr_with_bindings"
-
-let wit_open_constr_with_bindings = make0 "open_constr_with_bindings"
-
-let wit_bindings = make0 "bindings"
-
 let wit_red_expr = make0 "redexpr"
 
 let wit_clause_dft_concl  =
@@ -74,6 +65,4 @@ let wit_preident = wit_pre_ident
 let wit_reference = wit_ref
 let wit_global = wit_ref
 let wit_clause = wit_clause_dft_concl
-let wit_quantified_hypothesis = wit_quant_hyp
-let wit_intropattern = wit_intro_pattern
 let wit_redexpr = wit_red_expr
-- 
cgit v1.2.3