summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorXavier Leroy <xavier.leroy@inria.fr>1996-01-08 10:15:32 +0000
committerXavier Leroy <xavier.leroy@inria.fr>1996-01-08 10:15:32 +0000
commit02eba90dce53e2933e7f010d335c7a0052d13f83 (patch)
tree08721de8a3d00ece2816b6cb73fc57ec8bdccf7c
parent382c531b18da03a5b0926d96807bc5499c7e3553 (diff)
Version++.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@600 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 ec5fd4d51..a5e8f8275 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.13"
+let version = "1.14"
let exec_magic_number = "Caml1999X001"
and cmi_magic_number = "Caml1999I002"