diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2000-02-24 17:42:11 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2000-02-24 17:42:11 +0000 |
| commit | 77431b1310c6df7f216c1ce92d2853ab5d48aa0a (patch) | |
| tree | b5b5e0de1d6b728a4e5dca70de6156652b072815 /stdlib/gc.mli | |
| parent | 9b32e1d58692061b6fda6ec8d82a15f912cad39b (diff) | |
| download | ocaml-77431b1310c6df7f216c1ce92d2853ab5d48aa0a.tar.gz | |
Typo dans la doc
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2857 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'stdlib/gc.mli')
| -rw-r--r-- | stdlib/gc.mli | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/stdlib/gc.mli b/stdlib/gc.mli index f3de792cbd..44987aac80 100644 --- a/stdlib/gc.mli +++ b/stdlib/gc.mli @@ -12,9 +12,7 @@ (* $Id$ *) -(* Module [Gc]: - memory management control and statistics; finalised values -*) +(* Module [Gc]: memory management control and statistics; finalised values *) type stat = { minor_words : int; |