diff options
| author |  Enrico Tassi <enrico.tassi@inria.fr> | 2015-05-28 13:30:06 +0200 |
|---|---|---|
| committer | Enrico Tassi <enrico.tassi@inria.fr> | 2015-05-29 14:59:42 +0200 |
| commit | 5e873be3cdbdff6b9bad782ce88d2206b9053e14 (patch) | |
| tree | 3da04e1b80961db5c27bf89da4bc3ed9700b09d4 | |
| parent | 83188dacc43df02245d13810d08cc63b7a5633ed (diff) | |
coqide: don't require ocaml >= 4
| -rw-r--r-- | ide/session.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/ide/session.ml b/ide/session.ml index fd8f80690..a795f6331 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) |