From 1e996160e916e2c8fc9288723a49e9045d4d1895 Mon Sep 17 00:00:00 2001
From: letouzey
Date: Wed, 27 Feb 2008 15:30:11 +0000
Subject: dead code

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10596 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 contrib/extraction/common.ml | 13 -------------
 1 file changed, 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*)    
-- 
cgit v1.2.3