diff options
Diffstat (limited to 'ide/coqide.ml')
| -rw-r--r-- | ide/coqide.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ide/coqide.ml b/ide/coqide.ml index b2fd0c1d7..1655ffb8a 100644 --- a/ide/coqide.ml +++ b/ide/coqide.ml @@ -1292,7 +1292,7 @@ let load_file handler f = try Minilib.log "Loading file starts"; let is_f = CUnix.same_file f in - if not (Util.list_fold_left_i + if not (Util.List.fold_left_i (fun i found x -> if found then found else let {analyzed_view=av} = x in (match av#filename with |