From c9451add699a3e567eefa9de96426b86a4648edd Mon Sep 17 00:00:00 2001 From: Matthieu Sozeau Date: Fri, 24 Jun 2016 14:49:48 +0200 Subject: Fix off-by-1 bug in coq_makefile --- tools/coq_makefile.ml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'tools/coq_makefile.ml') diff --git a/tools/coq_makefile.ml b/tools/coq_makefile.ml index 65b2441f7..c86253477 100644 --- a/tools/coq_makefile.ml +++ b/tools/coq_makefile.ml @@ -141,8 +141,8 @@ let standard opt = print "\"\n\n" let classify_files_by_root var files (inc_ml,inc_i,inc_r) = - if List.exists (fun (pdir,_,_) -> pdir = ".") inc_r - || List.exists (fun (pdir,_,_) -> pdir = ".") inc_i + if List.exists (fun (pdir,_,_) -> pdir = ".") inc_r || + List.exists (fun (pdir,_,_) -> pdir = ".") inc_i then () else let absdir_of_files =List.rev_map @@ -207,7 +207,7 @@ let vars_to_put_by_root var_x_files_l (inc_ml,inc_i,inc_r) = (fun x -> x^string_of_int i) in let pdir' = physical_dir_of_logical_dir ldir in - (pdir,pdir',vars_r)::out) 1 [] l + (pdir,pdir',vars_r)::out) 0 [] l in (Some varq, other) let install_include_by_root perms = -- cgit v1.2.3