From 92616b9f660eaa2640964ca1925b05d37af70c8c Mon Sep 17 00:00:00 2001
From: ppedrot <ppedrot@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Sat, 15 Sep 2012 00:39:54 +0000
Subject: Some documentation and cleaning of CList and Util interfaces.

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

(limited to 'ide/wg_Command.ml')

diff --git a/ide/wg_Command.ml b/ide/wg_Command.ml
index 5a72669b8..2e4ce364d 100644
--- a/ide/wg_Command.ml
+++ b/ide/wg_Command.ml
@@ -55,7 +55,7 @@ class command_window coqtop =
   let remove_cb () =
     let index = notebook#current_page in
     let () = notebook#remove_page index in
-    views := Util.List.filter_i (fun i x -> i <> index) !views
+    views := Util.List.filteri (fun i x -> i <> index) !views
   in
   let _ =
     toolbar#insert_button
-- 
cgit v1.2.3