X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=weblib%2Fbasics%2Fpts.ma;h=c0ec34b71cf9d3a0d431a8153ad033ada3fcd67a;hb=ccf5878f2a2ec7f952f140e162391708a740517b;hp=b7d9a5da9deb592e73670182de1459befd569321;hpb=0410fb0737da599395caf7fbb698d224d4c8c7a2;p=helm.git

diff --git a/weblib/basics/pts.ma b/weblib/basics/pts.ma
index b7d9a5da9..c0ec34b71 100644
--- a/weblib/basics/pts.ma
+++ b/weblib/basics/pts.ma
@@ -18,4 +18,5 @@ 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].
+ 
\ No newline at end of file