diff options
Diffstat (limited to 'tools/coq_makefile.ml')
| -rw-r--r-- | tools/coq_makefile.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/coq_makefile.ml b/tools/coq_makefile.ml index 7e400a332..b6268f233 100644 --- a/tools/coq_makefile.ml +++ b/tools/coq_makefile.ml @@ -158,7 +158,7 @@ let vars_to_put_by_root var_x_files_l (inc_i,inc_r) = if inc_r = [] then [".","$(INSTALLDEFAULTROOT)",[]] else - Util.list_fold_left_i (fun i out (pdir,ldir,abspdir) -> + Util.List.fold_left_i (fun i out (pdir,ldir,abspdir) -> let vars_r = var_filter (List.exists (is_prefix abspdir)) (fun x -> x^string_of_int i) in let pdir' = physical_dir_of_logical_dir ldir in (pdir,pdir',vars_r)::out) 1 [] inc_r |