From 5e6145c871eea1e94566b252b4bfc4cd752f42d5 Mon Sep 17 00:00:00 2001
From: letouzey
Date: Wed, 23 Oct 2013 22:17:07 +0000
Subject: cList: set-as-list functions are now with an explicit comparison

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16920 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 ide/coqOps.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'ide')

diff --git a/ide/coqOps.ml b/ide/coqOps.ml
index 6ea1678acd..eb09d3bbb7 100644
--- a/ide/coqOps.ml
+++ b/ide/coqOps.ml
@@ -67,7 +67,7 @@ end = struct
   let hidden_edit_id () = decr id; !id
 
   let set_flags s f = s.flags <- f
-  let add_flag s f = s.flags <- CList.add_set f s.flags
+  let add_flag s f = s.flags <- CList.add_set (=) f s.flags
   let has_flag s mf =
     List.exists (fun f -> mem_flag_of_flag f = mf) s.flags
   let remove_flag s mf =
-- 
cgit v1.2.3