diff options
| author |  Enrico Tassi <enrico.tassi@inria.fr> | 2015-03-09 18:45:36 +0100 |
|---|---|---|
| committer | Enrico Tassi <enrico.tassi@inria.fr> | 2015-03-11 11:44:54 +0100 |
| commit | d26602693de76604648e24f103ba6aa5f80fb556 (patch) | |
| tree | cc2f92cd66632876b4961d0782622d548c95b97a /ide | |
| parent | 1a477d10daa91aadc0ef940b2f6d290aa93f8e8e (diff) | |
CoqIDE: fix tag colors to support superposing unsafe and partial
Admitted (like Qed) can be "partially executed", but is also unsafe.
Diffstat (limited to 'ide')
| -rw-r--r-- | ide/coqOps.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ide/coqOps.ml b/ide/coqOps.ml index 6f8305afe..c6073d599 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 |