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 27505fde0..74ed54992 100644 --- a/utils/config.mlp +++ b/utils/config.mlp @@ -4,7 +4,7 @@ let c_compiler = "%%CC%%" let c_libraries = "%%CCLIBS%%" -let version = "1.02" +let version = "1.03" let exec_magic_number = "Caml1999X001" and cmi_magic_number = "Caml1999I001" |