X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=weblib%2Fbasics%2Fpts.ma;h=c0ec34b71cf9d3a0d431a8153ad033ada3fcd67a;hb=44c1079dabf1d3c0b69d0155ddbaea8627ec901c;hp=b7d9a5da9deb592e73670182de1459befd569321;hpb=1410ea677188e9e11d748c69e208d1e90b0a324e;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