From 8a235780d9b3612e1c01323398da3e80cbbf8e9f Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr>
Date: Fri, 24 Jul 2015 18:33:11 +0200
Subject: Using maps and sets instead of lists in coqdep.

The quadratic behaviour of list searching probably appears with small
enough samples. With the advent of usable libraries in Coq, and thus many
possible dependencies, better be safe than sorry.
---
 tools/coqdep_boot.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'tools/coqdep_boot.ml')

diff --git a/tools/coqdep_boot.ml b/tools/coqdep_boot.ml
index bc3435a64..2d5fd36a6 100644
--- a/tools/coqdep_boot.ml
+++ b/tools/coqdep_boot.ml
@@ -25,7 +25,7 @@ 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
   | [] -> ()
-- 
cgit v1.2.3