MAJ numéro magique

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

1 files 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"