From 27d173f94a68367d91def90c6d287138c733054b Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Sat, 19 Mar 2016 18:55:01 +0100
Subject: Removing dead code in Genarg.

---
 interp/constrarg.ml | 21 ---------------------
 interp/stdarg.ml    |  6 ------
 2 files changed, 27 deletions(-)

(limited to 'interp')

diff --git a/interp/constrarg.ml b/interp/constrarg.ml
index 20ee7aa4fb..81e942d828 100644
--- a/interp/constrarg.ml
+++ b/interp/constrarg.ml
@@ -63,27 +63,6 @@ let wit_red_expr = Genarg.make0 "redexpr"
 let wit_clause_dft_concl  =
   Genarg.make0 "clause_dft_concl"
 
-(** Register location *)
-
-let () =
-  register_name0 wit_int_or_var "Constrarg.wit_int_or_var";
-  register_name0 wit_ref "Constrarg.wit_ref";
-  register_name0 wit_ident "Constrarg.wit_ident";
-  register_name0 wit_var "Constrarg.wit_var";
-  register_name0 wit_intro_pattern "Constrarg.wit_intro_pattern";
-  register_name0 wit_tactic "Constrarg.wit_tactic";
-  register_name0 wit_sort "Constrarg.wit_sort";
-  register_name0 wit_constr "Constrarg.wit_constr";
-  register_name0 wit_uconstr "Constrarg.wit_uconstr";
-  register_name0 wit_open_constr "Constrarg.wit_open_constr";
-  register_name0 wit_constr_may_eval "Constrarg.wit_constr_may_eval";
-  register_name0 wit_red_expr "Constrarg.wit_red_expr";
-  register_name0 wit_clause_dft_concl "Constrarg.wit_clause_dft_concl";
-  register_name0 wit_quant_hyp "Constrarg.wit_quant_hyp";
-  register_name0 wit_bindings "Constrarg.wit_bindings";
-  register_name0 wit_constr_with_bindings "Constrarg.wit_constr_with_bindings";
-  ()
-
 (** Aliases *)
 
 let wit_reference = wit_ref
diff --git a/interp/stdarg.ml b/interp/stdarg.ml
index e497c996f7..244cdd0a70 100644
--- a/interp/stdarg.ml
+++ b/interp/stdarg.ml
@@ -23,12 +23,6 @@ let wit_string : string uniform_genarg_type =
 let wit_pre_ident : string uniform_genarg_type =
   make0 "preident"
 
-let () = register_name0 wit_unit "Stdarg.wit_unit"
-let () = register_name0 wit_bool "Stdarg.wit_bool"
-let () = register_name0 wit_int "Stdarg.wit_int"
-let () = register_name0 wit_string "Stdarg.wit_string"
-let () = register_name0 wit_pre_ident "Stdarg.wit_pre_ident"
-
 (** Aliases for compatibility *)
 
 let wit_integer = wit_int
-- 
cgit v1.2.3