diff options
| author | Damien Doligez <damien.doligez-inria.fr> | 2004-01-03 12:51:20 +0000 |
|---|---|---|
| committer | Damien Doligez <damien.doligez-inria.fr> | 2004-01-03 12:51:20 +0000 |
| commit | 258688a333f8a0b905059caa0b2753a7fa8b0e02 (patch) | |
| tree | dba9b702c0e7d923939a1c7bc8b1de0464f98601 /stdlib | |
| parent | 85b49039023d8cddf2c185b5f894feaf55e7f9d5 (diff) | |
depollution suite (PR#1914 et PR#1956)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6050 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'stdlib')
| -rw-r--r-- | stdlib/sys.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/stdlib/sys.ml b/stdlib/sys.ml index f3f9333fa..0db0a29fb 100644 --- a/stdlib/sys.ml +++ b/stdlib/sys.ml @@ -78,4 +78,4 @@ let catch_break on = (* OCaml version string, must be in the format described in sys.mli. *) -let ocaml_version = "3.07+11 (2004-01-02)";; +let ocaml_version = "3.07+12 (2004-01-03)";; |