corrected

diff --git a/lang/m2/libm2/Storage.mod b/lang/m2/libm2/Storage.mod
index 8fde41f..e359ef9 100644 (file)
--- a/lang/m2/libm2/Storage.mod
+++ b/lang/m2/libm2/Storage.mod
@@ -170,11 +170,9 @@ IMPLEMENTATION MODULE Storage;
                HALT;
        END;
        p := a - UNIT;
-       WITH p^ DO
-               IF BSIZE # ((size + (UNIT - 1)) DIV UNIT) THEN
-                       pc := a + size;
-                       pc^ := MAGICC;
-               END;
+       IF p^.BSIZE * UNIT # size THEN
+               pc := a + size;
+               pc^ := MAGICC;
        END;
   END ALLOCATE;