From eaffc4814c22f879377cb1a6f76a18409e7e81e4 Mon Sep 17 00:00:00 2001
From: soubiran
Date: Tue, 25 Nov 2008 11:49:31 +0000
Subject: correction bug 1997.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11630 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 library/library.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/library/library.ml b/library/library.ml
index ab92bb6769..fd9d93eb40 100644
--- a/library/library.ml
+++ b/library/library.ml
@@ -615,7 +615,7 @@ let import_module export (loc,qid) =
 	  if Lib.is_modtype () || Lib.is_module () || not export then
 	    add_anonymous_leaf (in_import (dir, export))
 	  else
-	    add_anonymous_leaf (in_require ([],[dir], Some export))
+	    add_anonymous_leaf (in_import (dir, export))
       | mp ->
 	  Declaremods.import_module export mp
   with
-- 
cgit v1.2.3