From a630b49901a26b6c044431942005ae48d6ecf3b7 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Tue, 13 Feb 2001 11:36:18 +0000
Subject: Bug nommage Stdlib

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

diff --git a/parsing/g_natsyntax.ml b/parsing/g_natsyntax.ml
index a4c9d90825..a99046686d 100644
--- a/parsing/g_natsyntax.ml
+++ b/parsing/g_natsyntax.ml
@@ -10,7 +10,7 @@ open Util
 open Names
 open Coqast
 open Ast
-open Coqlib
+open Stdlib
 open Termast
 
 exception Non_closed_number
-- 
cgit v1.2.3