improved checking
authorceriel <none@none>
Tue, 3 May 1988 09:03:19 +0000 (09:03 +0000)
committerceriel <none@none>
Tue, 3 May 1988 09:03:19 +0000 (09:03 +0000)
commit94bb3d3e045fcf4b5e0b688566487f15ed1e2ab3
tree11939e6de5bcfcbf06cb32bf826aef3d367dce2d
parent7dcfb2b4ad0d86270b31366f2644ffdc17bd9933
improved checking
lang/m2/libm2/Storage.mod