diff options
| -rw-r--r-- | utils/config.mlp | 2 |
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" |