diff options
Diffstat (limited to 'lib/util.mli')
| -rw-r--r-- | lib/util.mli | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/util.mli b/lib/util.mli index fd8ff9275..f7f40b805 100644 --- a/lib/util.mli +++ b/lib/util.mli @@ -11,7 +11,7 @@ open Pp (** This module contains numerous utility functions on strings, lists, arrays, etc. *) -(** {6 Sect } *) +(** {6 ... } *) (** Errors. [Anomaly] is used for system errors and [UserError] for the user's ones. *) @@ -361,7 +361,7 @@ val size_kb : 'a -> int val heap_size : unit -> int val heap_size_kb : unit -> int -(** {6 Sect } *) +(** {6 ... } *) (** Coq interruption: set the following boolean reference to interrupt Coq (it eventually raises [Break], simulating a Ctrl-C) *) |