From ef2fce93057484b015c85713ad83f53f88762271 Mon Sep 17 00:00:00 2001
From: Jim Fehrle
Date: Sun, 7 Oct 2018 15:14:56 -0700
Subject: Show diffs in error messages if color is enabled

---
 printing/proof_diffs.mli | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'printing/proof_diffs.mli')

diff --git a/printing/proof_diffs.mli b/printing/proof_diffs.mli
index 1ebde3d572..fd10eaa458 100644
--- a/printing/proof_diffs.mli
+++ b/printing/proof_diffs.mli
@@ -16,6 +16,12 @@ val write_diffs_option : string -> unit
 (** Returns true if the diffs option is "on" or "removed" *)
 val show_diffs : unit -> bool
 
+(** controls whether color output is enabled *)
+val write_color_enabled : bool -> unit
+
+(** true indicates that color output is enabled *)
+val color_enabled : unit -> bool
+
 open Evd
 open Environ
 open Constr
-- 
cgit v1.2.3