diff options
| -rw-r--r-- | stdlib/gc.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/stdlib/gc.mli b/stdlib/gc.mli index 33e794dc14..142a38af20 100644 --- a/stdlib/gc.mli +++ b/stdlib/gc.mli @@ -141,7 +141,7 @@ type control = (** The GC parameters are given as a [control] record. Note that these parameters can also be initialised by setting the OCAMLRUNPARAM environment variable. See the documentation of - ocamlrun. *) + [ocamlrun]. *) external stat : unit -> stat = "caml_gc_stat" (** Return the current values of the memory management counters in a |