diff options
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. |