diff options
author | Damien Doligez <damien.doligez@inria.fr> | 2020-10-09 12:02:00 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-10-09 12:02:00 +0200 |
commit | 0069123c61344acc9b35de56a1324ba8a011ae7d (patch) | |
tree | 3755ba302311b97a5b2b160b8aa70c600504c256 /man | |
parent | 0e6bc29b2b1016fcf46a8b727abc2ced7b59421f (diff) | |
download | ocaml-0069123c61344acc9b35de56a1324ba8a011ae7d.tar.gz |
clean up and fix GC message 0x1 (#9949)
Diffstat (limited to 'man')
-rw-r--r-- | man/ocamlrun.m | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/man/ocamlrun.m b/man/ocamlrun.m index fea7ef8d75..ba59d20b7f 100644 --- a/man/ocamlrun.m +++ b/man/ocamlrun.m @@ -211,7 +211,7 @@ What GC messages to print to stderr. This is a sum of values selected from the following: .B 0x001 -Start of major GC cycle. +Start and end of major GC cycle. .B 0x002 Minor collection and major GC slice. |