diff options
Diffstat (limited to 'vernac/topfmt.mli')
| -rw-r--r-- | vernac/topfmt.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/vernac/topfmt.mli b/vernac/topfmt.mli index 2fdefc6fc..579b456a2 100644 --- a/vernac/topfmt.mli +++ b/vernac/topfmt.mli @@ -43,7 +43,7 @@ val std_logger : ?pre_hdr:Pp.t -> Feedback.level -> Pp.t -> unit val emacs_logger : ?pre_hdr:Pp.t -> Feedback.level -> Pp.t -> unit (** Color output *) -val clear_styles : unit -> unit +val default_styles : unit -> unit val parse_color_config : string -> unit val dump_tags : unit -> (string * Terminal.style) list |