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 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" |