X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Flib%2Fbasics%2Fpts.ma;h=446305ecf4e76299535171930827f01bd704e37f;hb=d9a1ff8259a7882caa0ffd27282838c00a34cab5;hp=94f49fc5c33c939e0faa8366cd9ae2b9c5aacf3d;hpb=53452958508001e7af3090695b619fe92135fb9e;p=helm.git

diff --git a/matita/matita/lib/basics/pts.ma b/matita/matita/lib/basics/pts.ma
index 94f49fc5c..446305ecf 100644
--- a/matita/matita/lib/basics/pts.ma
+++ b/matita/matita/lib/basics/pts.ma
@@ -18,3 +18,4 @@ universe constraint Type[0] < Type[1].
 universe constraint Type[1] < Type[2].
 universe constraint Type[2] < Type[3].
 universe constraint Type[3] < Type[4].
+universe constraint Type[4] < Type[5].