diff options
author | Damien Doligez <damien.doligez-inria.fr> | 2002-06-05 12:12:16 +0000 |
---|---|---|
committer | Damien Doligez <damien.doligez-inria.fr> | 2002-06-05 12:12:16 +0000 |
commit | db0a0a0d3427a3e9451ad7e6521c9221d64eb1be (patch) | |
tree | c854d89d5b574e3e1fe8c3e6edb0bc91076c17e1 | |
parent | 848902ce6abc56dac0b6bb6e7e4cc0673c01b599 (diff) |
changement List.sort; ajout fast_sort et List.merge; bugfix Obj.truncate
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4883 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-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 3cf50b666..577746fe5 100644 --- a/stdlib/sys.ml +++ b/stdlib/sys.ml @@ -78,4 +78,4 @@ let catch_break on = (* OCaml version string, moved from utils/config.mlp. Must be in the format described in sys.mli. *) -let ocaml_version = "3.04+12 (2002-05-28)" +let ocaml_version = "3.04+13 (2002-06-05)" |