bug: enregistrement de vartab au lieu de csttab

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

1 files changed, 3 insertions, 3 deletions

diff --git a/library/declare.ml b/library/declare.ml
index 3063d801c..11923a3e2 100644
--- a/library/declare.ml
+++ b/library/declare.ml
@@ -106,9 +106,9 @@ type constant_declaration = constant_entry * strength
 let csttab = ref (Spmap.empty : constant_declaration Spmap.t)
 
 let _ = Summary.declare_summary "CONSTANT"
-	  { Summary.freeze_function = (fun () -> !vartab);
-	    Summary.unfreeze_function = (fun ft -> vartab := ft);
-	    Summary.init_function = (fun () -> vartab := Spmap.empty) }
+	  { Summary.freeze_function = (fun () -> !csttab);
+	    Summary.unfreeze_function = (fun ft -> csttab := ft);
+	    Summary.init_function = (fun () -> csttab := Spmap.empty) }
 
 let cache_constant (sp,((ce,_) as cd)) =
   Global.add_constant sp ce;