diff options
Diffstat (limited to 'stdlib/sys.ml')
| -rw-r--r-- | stdlib/sys.ml | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/stdlib/sys.ml b/stdlib/sys.ml index d7baca331..b666a5a8a 100644 --- a/stdlib/sys.ml +++ b/stdlib/sys.ml @@ -73,3 +73,9 @@ let catch_break on = set_signal sigint (Signal_handle(fun _ -> raise Break)) else set_signal sigint Signal_default + + +(* OCaml version numbers and strings, moved from utils/config.mlp. + Must be in the format described in sys.mli. *) + +let ocaml_version = "3.04+6 (2002-02-05)" |