it starts to work

[helm.git] / helm / software / matita / nlibrary / topology / igft.ma

diff --git a/helm/software/matita/nlibrary/topology/igft.ma b/helm/software/matita/nlibrary/topology/igft.ma
index 6628e36ef5db5b481f46791215972857bfbc44b1..b7818372b1e50e751fb19a823e46bb40b7b50f8b 100644 (file)
--- a/helm/software/matita/nlibrary/topology/igft.ma
+++ b/helm/software/matita/nlibrary/topology/igft.ma
@@ -1,4 +1,4 @@
-include "logic/connectives.ma".
+include "sets/sets.ma".
 
 nrecord powerset (X : Type[0]) : Type[1] ≝ { char : X → CProp[0] }.