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

---
 lib/genarg.ml | 14 --------------
 1 file changed, 14 deletions(-)

(limited to 'lib/genarg.ml')

diff --git a/lib/genarg.ml b/lib/genarg.ml
index 27d7b50e5..0deb34afd 100644
--- a/lib/genarg.ml
+++ b/lib/genarg.ml
@@ -303,17 +303,3 @@ struct
   | _ -> assert false
 
 end
-
-(** Hackish part *)
-
-let arg0_names = ref (String.Map.empty : string String.Map.t)
- 
-let register_name0 t name = match t with
-| ExtraArg s ->
-  let s = ArgT.repr s in
-  let () = assert (not (String.Map.mem s !arg0_names)) in
-  arg0_names := String.Map.add s name !arg0_names
-| _ -> failwith "register_name0"
-
-let get_name0 name =
-  String.Map.find name !arg0_names
-- 
cgit v1.2.3