Imported Upstream version 8.5~beta3+dfsg

1 files changed, 2 insertions, 4 deletions

diff --git a/tools/coqdep_boot.ml b/tools/coqdep_boot.ml
index bc3435a6..64ce66d2 100644
--- a/tools/coqdep_boot.ml
+++ b/tools/coqdep_boot.ml
@@ -25,12 +25,12 @@ let rec parse = function
        (* To solve conflict (e.g. same filename in kernel and checker)
           we allow to state an explicit order *)
        add_caml_dir r;
-       norec_dirs:=r::!norec_dirs;
+       norec_dirs := StrSet.add r !norec_dirs;
        parse ll
   | f :: ll -> treat_file None f; parse ll
   | [] -> ()
 
-let coqdep_boot () =
+let _ =
   let () = option_boot := true in
   if Array.length Sys.argv < 2 then exit 1;
   parse (List.tl (Array.to_list Sys.argv));
@@ -47,5 +47,3 @@ let coqdep_boot () =
   end;
   if !option_c then mL_dependencies ();
   coq_dependencies ()
-
-let _ = Printexc.catch coqdep_boot ()