X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fnlibrary%2Fdepends;h=379c5765687f7478898145121db5d7351ded0e1a;hb=efd42476895cfb9b7048cc81848cd1c60f394367;hp=2aca2bbd3078267429f6b195842bd37d9ecf393c;hpb=5085c7d242be578718c18943d680381b4853d5eb;p=helm.git

diff --git a/helm/software/matita/nlibrary/depends b/helm/software/matita/nlibrary/depends
index 2aca2bbd3..379c57656 100644
--- a/helm/software/matita/nlibrary/depends
+++ b/helm/software/matita/nlibrary/depends
@@ -1,7 +1,6 @@
 sets/sets.ma logic/equality.ma
 topology/igt.ma logic/connectives.ma properties/relations.ma
 logic/equality.ma logic/connectives.ma
-.unnamed.ma logic/pts.ma
 logic/connectives.ma logic/pts.ma
 algebra/magmas.ma sets/sets.ma
 properties/relations.ma logic/pts.ma