fix: CHR expects a CARDINAL parameter
authorceriel <none@none>
Thu, 9 Feb 1989 15:43:28 +0000 (15:43 +0000)
committerceriel <none@none>
Thu, 9 Feb 1989 15:43:28 +0000 (15:43 +0000)
commit3b922f1292bf9bdbf45f51565005330d7cbdf4e7
treea81c3967fe6230c4a43daf59fb42970357234632
parent62d893008047444f1cb406d257b2c5e6d4bff708
fix: CHR expects a CARDINAL parameter
lang/m2/test/Thalmann/StoreFetch.mod