From 40cb5731ddfcff2a791033e84cc083c119270fc1 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Sat, 15 Nov 2014 19:13:11 +0100
Subject: Reworking the -color flag of coqtop.

---
 lib/flags.ml | 5 -----
 1 file changed, 5 deletions(-)

(limited to 'lib/flags.ml')

diff --git a/lib/flags.ml b/lib/flags.ml
index 993ebaa705..f95c31d9b8 100644
--- a/lib/flags.ml
+++ b/lib/flags.ml
@@ -141,11 +141,6 @@ let verbosely f x = without_option silent f x
 let if_silent f x = if !silent then f x
 let if_verbose f x = if not !silent then f x
 
-(* Use terminal color *)
-let term_color = ref false
-let make_term_color b = term_color := b
-let is_term_color () = !term_color
-
 let auto_intros = ref true
 let make_auto_intros flag = auto_intros := flag
 let is_auto_intros () = version_strictly_greater V8_2 && !auto_intros
-- 
cgit v1.2.3