From f5d0ca82eadc85b734226ccadcf513e6a5edccae Mon Sep 17 00:00:00 2001
From: herbelin
Date: Wed, 14 Apr 2004 15:47:44 +0000
Subject: MAJ numéro magique

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

diff --git a/library/library.ml b/library/library.ml
index c17db9afb1..1d5fcd010f 100644
--- a/library/library.ml
+++ b/library/library.ml
@@ -288,8 +288,8 @@ let (in_import, out_import) =
 (************************************************************************)
 (*s Loading from disk to cache (preparation phase) *)
 
-let vo_magic_number7 = 07991 (* V8.0-cdrom old syntax *)
-let vo_magic_number8 = 08001 (* V8.0-cdrom new syntax *)
+let vo_magic_number7 = 07992 (* V8.0 final old syntax *)
+let vo_magic_number8 = 08002 (* V8.0 final new syntax *)
 
 let (raw_extern_library7, raw_intern_library7) =
   System.raw_extern_intern vo_magic_number7 ".vo"
-- 
cgit v1.2.3