update in ground_2

[helm.git] / matita / matita / lib / basics / pts.ma

diff --git a/matita/matita/lib/basics/pts.ma b/matita/matita/lib/basics/pts.ma
index 237c0c2b39df57203c487e401de78b77673d13ce..446305ecf4e76299535171930827f01bd704e37f 100644 (file)
--- 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].