changed behaviour of Allocate(..., 0)

diff --git a/lang/m2/libm2/Storage.mod b/lang/m2/libm2/Storage.mod
index 15200a0..0fa80ef 100644 (file)
--- a/lang/m2/libm2/Storage.mod
+++ b/lang/m2/libm2/Storage.mod
@@ -67,7 +67,7 @@ IMPLEMENTATION MODULE Storage;
        END;
        nu := (size + (UNIT-1)) DIV UNIT;
        IF nu = 0 THEN
-               RETURN NIL;
+               nu := 1;
        END;
        IF nu <= NLISTS THEN
                b := nu;