commit by user andrea

[helm.git] / weblib / basics / pts.ma

diff --git a/weblib/basics/pts.ma b/weblib/basics/pts.ma
index b7d9a5da9deb592e73670182de1459befd569321..c0ec34b71cf9d3a0d431a8153ad033ada3fcd67a 100644 (file)
--- 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