From d26602693de76604648e24f103ba6aa5f80fb556 Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Mon, 9 Mar 2015 18:45:36 +0100
Subject: CoqIDE: fix tag colors to support superposing unsafe and partial

Admitted (like Qed) can be "partially executed", but is also unsafe.
---
 ide/coqOps.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ide/coqOps.ml b/ide/coqOps.ml
index 6f8305afe4..c6073d599d 100644
--- a/ide/coqOps.ml
+++ b/ide/coqOps.ml
@@ -363,7 +363,7 @@ object(self)
        else if has_flag sentence `ERROR then [error_bg]
        else if has_flag sentence `INCOMPLETE then [incomplete]
        else [processed]) @
-      (if [ `UNSAFE ] = sentence.flags then [unjustified] else [])
+      (if has_flag sentence `UNSAFE then [unjustified] else [])
     in
     List.iter (fun t -> buffer#remove_tag t ~start ~stop) all_tags;
     List.iter (fun t -> buffer#apply_tag t ~start ~stop) tags
-- 
cgit v1.2.3