summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorXavier Leroy <xavier.leroy@inria.fr>1996-04-18 16:36:09 +0000
committerXavier Leroy <xavier.leroy@inria.fr>1996-04-18 16:36:09 +0000
commit6b9559fabf7b4a669ff4b082a3eaacffd82f775f (patch)
treefefe22bfde8c7e6df40c3f6d5632e6856562134c
parentbf16f51e518c8daad273c46f951cb2a0c12db66a (diff)
Version++.
Modif magic numbers des fichiers objets. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@755 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rw-r--r--utils/config.mlp10
1 files changed, 5 insertions, 5 deletions
diff --git a/utils/config.mlp b/utils/config.mlp
index c482d3ac9..f19d171ee 100644
--- a/utils/config.mlp
+++ b/utils/config.mlp
@@ -11,7 +11,7 @@
(* $Id$ *)
-let version = "1.15"
+let version = "1.16"
let standard_library =
try
@@ -27,10 +27,10 @@ let c_libraries = "%%CCLIBS%%"
let exec_magic_number = "Caml1999X001"
and cmi_magic_number = "Caml1999I002"
-and cmo_magic_number = "Caml1999O002"
-and cma_magic_number = "Caml1999A002"
-and cmx_magic_number = "Caml1999X002"
-and cmxa_magic_number = "Caml1999Z002"
+and cmo_magic_number = "Caml1999O003"
+and cma_magic_number = "Caml1999A003"
+and cmx_magic_number = "Caml1999X003"
+and cmxa_magic_number = "Caml1999Z003"
let load_path = ref ([] : string list)