X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Flib%2Fhott%2Ftypes.ma;h=9378c184de6d534de25f1dda5baa9b567c982a03;hb=45f2accd093c8d10eb692266f4c3c0c59cb22d8b;hp=4db2b76ef01d3ba6c5789d224aa9ce326d3dfa20;hpb=90dd88139a78b4dd650d5c462ecf602bf4813cd4;p=helm.git

diff --git a/matita/matita/lib/hott/types.ma b/matita/matita/lib/hott/types.ma
index 4db2b76ef..9378c184d 100644
--- a/matita/matita/lib/hott/types.ma
+++ b/matita/matita/lib/hott/types.ma
@@ -12,7 +12,7 @@
 (*                                                                        *)
 (**************************************************************************)
 
-include "pts.ma".
+include "hott/pts.ma".
 
 record Exists (A: Type[0]) (P: A → Type[0]) : Type[0] ≝ {
  pr1: A;