summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorXavier Leroy <xavier.leroy@inria.fr>1995-11-30 12:26:06 +0000
committerXavier Leroy <xavier.leroy@inria.fr>1995-11-30 12:26:06 +0000
commitd6fca8af737ccbdcf89e401d2234e3e98310f76d (patch)
tree1a91b9c2e85a5ae4e20674dada769cc18d6ac4d1
parent4682d003353176a39ec9b1f1479426b71ee34527 (diff)
Version++
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@498 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rw-r--r--utils/config.mlp2
1 files changed, 1 insertions, 1 deletions
diff --git a/utils/config.mlp b/utils/config.mlp
index 376dec51f..e84a46243 100644
--- a/utils/config.mlp
+++ b/utils/config.mlp
@@ -19,7 +19,7 @@ let native_c_compiler = "%%NATIVECC%%"
let c_libraries = "%%CCLIBS%%"
-let version = "1.11"
+let version = "1.12"
let exec_magic_number = "Caml1999X001"
and cmi_magic_number = "Caml1999I002"