From 42ab65d7c7eed4f6696dacedceaf7c695e0d06d6 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Tue, 15 Sep 2015 16:56:42 +0200
Subject: Removing a warning in CoqOps.

---
 ide/coqOps.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ide/coqOps.ml b/ide/coqOps.ml
index c6d3149475..ba9ab9672e 100644
--- a/ide/coqOps.ml
+++ b/ide/coqOps.ml
@@ -204,7 +204,7 @@ object(self)
     let on_changed (i, f) = segment#add i (flags_to_color f) in
     let on_push s =
       set_index s document_length;
-      (SentenceId.connect s)#changed on_changed;
+      ignore ((SentenceId.connect s)#changed on_changed);
       document_length <- succ document_length;
       segment#set_length document_length;
       let flags = List.map mem_flag_of_flag s.flags in
-- 
cgit v1.2.3