X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Flib%2Fhott%2Fpts.ma;h=cf788829272ed59b79505aea66ea6bc8efa6ead5;hb=1aca50505c3ce6c76dd7d20d00e358707caffd4a;hp=1e6dfca136cf55337c2c404d3f6c1d655507747e;hpb=90dd88139a78b4dd650d5c462ecf602bf4813cd4;p=helm.git

diff --git a/matita/matita/lib/hott/pts.ma b/matita/matita/lib/hott/pts.ma
index 1e6dfca13..cf7888292 100644
--- a/matita/matita/lib/hott/pts.ma
+++ b/matita/matita/lib/hott/pts.ma
@@ -12,7 +12,7 @@
 (*                                                                        *)
 (**************************************************************************)
 
-include "notations.ma".
+include "hott/notations.ma".
 
 universe constraint Type[0] < Type[1].
 universe constraint Type[1] < Type[2].