diff options
| author | Damien Doligez <damien.doligez-inria.fr> | 2011-07-07 13:12:54 +0000 |
|---|---|---|
| committer | Damien Doligez <damien.doligez-inria.fr> | 2011-07-07 13:12:54 +0000 |
| commit | 9058be97f9e75f115702bbb187150f2986a0e12c (patch) | |
| tree | 1ee9c97d3ee84f4bb06b649e9de4c83c1dd8032d /stdlib/gc.mli | |
| parent | 4e8b7a4808f928e6dba47a2bb768c83dbd426d2d (diff) | |
| download | ocaml-9058be97f9e75f115702bbb187150f2986a0e12c.tar.gz | |
typo
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11112 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'stdlib/gc.mli')
| -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 |