From 92616b9f660eaa2640964ca1925b05d37af70c8c Mon Sep 17 00:00:00 2001
From: ppedrot
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 +-
 ide/wg_Notebook.ml | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

(limited to 'ide')

diff --git a/ide/wg_Command.ml b/ide/wg_Command.ml
index 5a72669b82..2e4ce364de 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
diff --git a/ide/wg_Notebook.ml b/ide/wg_Notebook.ml
index c75b371fed..7a4ddc010f 100644
--- a/ide/wg_Notebook.ml
+++ b/ide/wg_Notebook.ml
@@ -51,7 +51,7 @@ object(self)
   method pages = term_list
 
   method remove_page index =
-    term_list <- Util.List.filter_i (fun i x -> if i = index then kill_page x; i <> index) term_list;
+    term_list <- Util.List.filteri (fun i x -> if i = index then kill_page x; i <> index) term_list;
     super#remove_page index
 
   method current_term =
-- 
cgit v1.2.3