many fixes to setoids for re, 16.1 almost done

[helm.git] / helm / software / matita / nlibrary / depends.dot

diff --git a/helm/software/matita/nlibrary/depends.dot b/helm/software/matita/nlibrary/depends.dot
index f3f71b61d2c78523cc615e52b17f6b666dd99da6..0c9dfbc0ff7dc6529bcf1a01c44af48b36f90ca3 100644 (file)
--- a/helm/software/matita/nlibrary/depends.dot
+++ b/helm/software/matita/nlibrary/depends.dot
@@ -19,6 +19,7 @@ digraph g {
   "datatypes/list-setoids.ma" [];
   "datatypes/list-setoids.ma" -> "datatypes/list.ma" [];
   "datatypes/list-setoids.ma" -> "sets/setoids.ma" [];
+  "datatypes/list-setoids.ma" -> "sets/setoids1.ma" [];
   "datatypes/list-theory.ma" [];
   "datatypes/list-theory.ma" -> "arithmetics/nat.ma" [];
   "datatypes/list-theory.ma" -> "datatypes/list.ma" [];