From 777a06c8b165f245a064e188c4da3739bd555cc7 Mon Sep 17 00:00:00 2001
From: filliatr
Date: Mon, 3 Feb 2003 08:33:29 +0000
Subject: release 7.4; changement magic number

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

(limited to 'library')

diff --git a/library/library.ml b/library/library.ml
index 1f75b4ca06..64e1272588 100644
--- a/library/library.ml
+++ b/library/library.ml
@@ -260,7 +260,7 @@ let open_libraries export modl =
 
 let compunit_cache = ref CompilingLibraryMap.empty
 
-let vo_magic_number = 0703 (* V7.3 *)
+let vo_magic_number = 0704 (* V7.4 *)
 
 let (raw_extern_library, raw_intern_library) =
   System.raw_extern_intern vo_magic_number ".vo"
-- 
cgit v1.2.3