From 5e873be3cdbdff6b9bad782ce88d2206b9053e14 Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Thu, 28 May 2015 13:30:06 +0200
Subject: coqide: don't require ocaml >= 4

---
 ide/session.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/ide/session.ml b/ide/session.ml
index fd8f806909..a795f6331a 100644
--- a/ide/session.ml
+++ b/ide/session.ml
@@ -278,8 +278,8 @@ let make_table_widget ?sort cd cb =
     in
     store#set_sort_func i sort
   in
-  List.iteri make_sorting columns;
-  List.iteri (fun i c -> c#set_sort_column_id i) cols;
+  CList.iteri make_sorting columns;
+  CList.iteri (fun i c -> c#set_sort_column_id i) cols;
   List.iter (fun c -> ignore(data#append_column c)) cols;
   ignore(
     data#connect#row_activated ~callback:(fun tp vc -> cb columns store tp vc)
-- 
cgit v1.2.3