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 4a5634673..7e400a332 100644 --- a/tools/coq_makefile.ml +++ b/tools/coq_makefile.ml @@ -692,7 +692,7 @@ let warn_install_at_root_directory let check_overlapping_include (_,inc_r) = let pwd = Sys.getcwd () in - let rec aux = function + let aux = function | [] -> () | (pdir,_,abspdir)::l -> if not (is_prefix pwd abspdir) then |