dead code

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10596 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 0 insertions, 13 deletions

diff --git a/contrib/extraction/common.ml b/contrib/extraction/common.ml
index 7a6d424283..2be5099548 100644
--- a/contrib/extraction/common.ml
+++ b/contrib/extraction/common.ml
@@ -480,16 +480,3 @@ let pp_module mp =
 	    error_module_clash base_s
 	  else dottify ls
 
-
-(*i 
-  (* DO NOT REMOVE: used when making names resolution *)
-  let cout = open_out (f^".ren") in 
-  let ft = Pp_control.with_output_to cout in
-  Hashtbl.iter 
-    (fun r id -> 
-       if short_module r = !current_module then 
-	 msgnl_with ft (pr_id id ++ str " " ++ pr_sp (sp_of_r r)))
-    renamings;
-  pp_flush_with ft ();
-  close_out cout;
-i*)