From af73dd5916c5505e8285766f0e3a48a8693943ef Mon Sep 17 00:00:00 2001
From: Andrea Asperti <andrea.asperti@unibo.it>
Date: Thu, 23 Dec 2010 12:13:32 +0000
Subject: [PATCH] Avoid duplicates in the list.

---
 matita/components/ng_library/nCicLibrary.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/matita/components/ng_library/nCicLibrary.ml b/matita/components/ng_library/nCicLibrary.ml
index edfb7db66..cbc9c17b8 100644
--- a/matita/components/ng_library/nCicLibrary.ml
+++ b/matita/components/ng_library/nCicLibrary.ml
@@ -260,7 +260,7 @@ module Serializer(D: sig type dumpable_s val get: dumpable_s -> dumpable_status
      D.set status
       (s#set_dump
         {s#dump with
-        includes = baseuri::s#dump.includes}) in
+        includes = baseuri::List.filter ((<>) baseuri) s#dump.includes}) in
     let _dependencies,dump = require0 ~baseuri in
      List.fold_right (!require1 ~alias_only) dump status
    with
-- 
2.39.2