X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fcontribs%2Flimits%2Froot;h=86796e6ae85acf98fb86d44d0d410287f6dbe833;hb=3cf6181bded05eb63140d1b2ba4f2f5791a73b48;hp=cde289d74bed50614a6240daba5a878d775d0719;hpb=ef05c795559108c1d33cfa048531849807867a81;p=helm.git

diff --git a/helm/software/matita/contribs/limits/root b/helm/software/matita/contribs/limits/root
index cde289d74..86796e6ae 100644
--- a/helm/software/matita/contribs/limits/root
+++ b/helm/software/matita/contribs/limits/root
@@ -1 +1 @@
-baseuri=cic:/matita/PREDICATIVE-TOPOLOGY
+baseuri=cic:/matita/limits