X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fcontribs%2FLAMBDA-TYPES%2FUnified%2FSUB%2FContext%2Fdefs.ma;h=22763dd4f3133f058c59ffd69274f0b130d8be86;hb=52c5033a45003a9488f0687510554b5efb4dd84e;hp=39859fc0e5fbd97e6461d92de2b490ea4c09e94e;hpb=b9d2eac98d0471eeadb6d524135bd604a9e8c757;p=helm.git

diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Unified/SUB/Context/defs.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Unified/SUB/Context/defs.ma
index 39859fc0e..22763dd4f 100644
--- a/helm/software/matita/contribs/LAMBDA-TYPES/Unified/SUB/Context/defs.ma
+++ b/helm/software/matita/contribs/LAMBDA-TYPES/Unified/SUB/Context/defs.ma
@@ -12,7 +12,7 @@
 (*                                                                        *)
 (**************************************************************************)
 
-set "baseuri" "cic:/matita/LAMBDA-TYPES/Unified/SUB/Context/defs".
+set "baseuri" "cic:/matita/LAMBDA-TYPES/Unified-Sub/Context/defs".
 
 (* FLAT CONTEXTS
    - Naming policy: