X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Flib%2Fbasics%2Fpts.ma;h=446305ecf4e76299535171930827f01bd704e37f;hb=e6a77aca8d57308626712430a5ef638b1c7c6553;hp=237c0c2b39df57203c487e401de78b77673d13ce;hpb=c8718cc46ab9aaca047366dfefe72bc7c9402e5a;p=helm.git

diff --git a/matita/matita/lib/basics/pts.ma b/matita/matita/lib/basics/pts.ma
index 237c0c2b3..446305ecf 100644
--- a/matita/matita/lib/basics/pts.ma
+++ b/matita/matita/lib/basics/pts.ma
@@ -19,4 +19,3 @@ universe constraint Type[1] < Type[2].
 universe constraint Type[2] < Type[3].
 universe constraint Type[3] < Type[4].
 universe constraint Type[4] < Type[5].
-universe constraint Type[5] < Type[6].