Code mort

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

1 files changed, 0 insertions, 14 deletions

diff --git a/toplevel/vernacentries.ml b/toplevel/vernacentries.ml
index c5839ca7d..b032395e1 100644
--- a/toplevel/vernacentries.ml
+++ b/toplevel/vernacentries.ml
@@ -329,19 +329,6 @@ let vernac_import export refl =
   List.iter import refl;
   Lib.add_frozen_state ()
 
-(*  else
-    let import (loc,qid) = 
-      try
-	let mp = Nametab.locate_module qid in
-	  Declaremods.import_module mp
-      with Not_found ->
-	user_err_loc
-        (loc,"vernac_import",
-	 str ((string_of_qualid qid)^" is not a module"))
-    in
-      List.iter import qidl;
-*)
-
 let vernac_declare_module export id binders_ast mty_ast_o = 
   (* We check the state of the system (in section, in module type)
      and what module information is supplied *)
@@ -463,7 +450,6 @@ let vernac_record struc binders sort nameopt cfs =
   (* Sections *)
 
 let vernac_begin_section = Lib.open_section
-
 let vernac_end_section = Lib.close_section
 
 let vernac_end_segment id =