From b831c43f592dff6cf307add90354c10f30bf5b58 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Tue, 16 Jun 2015 16:29:50 +0200
Subject: Fix by Enrico on CoqIDE not locating errors anymore since
 550da87456a.

---
 ide/coqOps.ml | 2 --
 1 file changed, 2 deletions(-)

diff --git a/ide/coqOps.ml b/ide/coqOps.ml
index af728471f7..2387d65c30 100644
--- a/ide/coqOps.ml
+++ b/ide/coqOps.ml
@@ -655,8 +655,6 @@ object(self)
       buffer#remove_tag Tags.Script.unjustified ~start ~stop;
       buffer#remove_tag Tags.Script.tooltip ~start ~stop;
       buffer#remove_tag Tags.Script.to_process ~start ~stop;
-      buffer#remove_tag Tags.Script.error ~start ~stop;
-      buffer#remove_tag Tags.Script.error_bg ~start ~stop;
       buffer#move_mark ~where:start (`NAME "start_of_input")
     end;
     List.iter (fun { start } -> buffer#delete_mark start) seg;
-- 
cgit v1.2.3