X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fcontribs%2FLOGIC%2Fdatatypes_defs%2FContext.ma;h=60c38f70c8bb73742f796553ad2123ee0bd8eed5;hb=7048db496643fc440aebc6e85dd425886bcd2e56;hp=e5dba4aafa30651ce17480d0a3e8c141154db757;hpb=658d76a1961418ee20d610bccff04b1d38cf206e;p=helm.git

diff --git a/helm/software/matita/contribs/LOGIC/datatypes_defs/Context.ma b/helm/software/matita/contribs/LOGIC/datatypes_defs/Context.ma
index e5dba4aaf..60c38f70c 100644
--- a/helm/software/matita/contribs/LOGIC/datatypes_defs/Context.ma
+++ b/helm/software/matita/contribs/LOGIC/datatypes_defs/Context.ma
@@ -12,7 +12,7 @@
 (*                                                                        *)
 (**************************************************************************)
 
-set "baseuri" "cic:/matita/LOGIC/datatypes_defs/Context".
+
 
 (* FLAT CONTEXTS
    - Naming policy: