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.

---
 ide/ide_slave.ml | 1 -
 1 file changed, 1 deletion(-)

(limited to 'ide')

diff --git a/ide/ide_slave.ml b/ide/ide_slave.ml
index 1000101a42..1bcbd25fed 100644
--- a/ide/ide_slave.ml
+++ b/ide/ide_slave.ml
@@ -458,7 +458,6 @@ let loop () =
   (* We'll handle goal fetching and display in our own way *)
   Vernacentries.enable_goal_printing := false;
   Vernacentries.qed_display_script := false;
-  Flags.make_term_color false;
   while not !quit do
     try
       let xml_query = Xml_parser.parse xml_ic in
-- 
cgit v1.2.3