- lambda_delta: "conversion" and "equivalence" components started

[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 446305ecf4e76299535171930827f01bd704e37f..237c0c2b39df57203c487e401de78b77673d13ce 100644 (file)
--- a/matita/matita/lib/basics/pts.ma
+++ b/matita/matita/lib/basics/pts.ma
@@ -19,3 +19,4 @@ 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].