From 5a4b200626300200ec34f4713940465cdc96bebb Mon Sep 17 00:00:00 2001
From: filliatr
Date: Wed, 21 Jun 2000 16:43:38 +0000
Subject: bug discharge STRUCTURE; FrozenState supprimmes dans les
 ClosedSection -> .vo plus petits

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

(limited to 'kernel')

diff --git a/kernel/declarations.mli b/kernel/declarations.mli
index eab3cb0e48..93a84c7c7b 100644
--- a/kernel/declarations.mli
+++ b/kernel/declarations.mli
@@ -32,7 +32,7 @@ val cook_constant : constant_value -> constr
 
 (*s Constant declaration. *)
 
-type constant_entry= {
+type constant_entry = {
   const_entry_body : lazy_constant_value;
   const_entry_type : constr option }
 
-- 
cgit v1.2.3