From 9e6b313fbb13f3673192e816e1360a4f5e7e92fd Mon Sep 17 00:00:00 2001
From: coq
Date: Mon, 21 Aug 2000 08:50:07 +0000
Subject: Nametab.init - bug corrected

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

(limited to 'library')

diff --git a/library/nametab.ml b/library/nametab.ml
index b84eda23a0..911a381eb7 100755
--- a/library/nametab.ml
+++ b/library/nametab.ml
@@ -25,7 +25,7 @@ let push id sp =
     
 let init () =
   cci_tab := Idmap.empty;
-  cci_tab := Idmap.empty
+  fw_tab := Idmap.empty
 
 type frozen = section_path Idmap.t * section_path Idmap.t
 
-- 
cgit v1.2.3