bug fix: printed some reals wrong
authorceriel <none@none>
Tue, 20 Jun 1989 11:43:01 +0000 (11:43 +0000)
committerceriel <none@none>
Tue, 20 Jun 1989 11:43:01 +0000 (11:43 +0000)
commit6d78cd67100f2aceed5284471443de8b89973bdf
tree8a1991a6861ec340e708f1a329fc09fb7845d53d
parent9e151cf7065e6e057ecbcc65b0a82ae8d0e88879
bug fix: printed some reals wrong
lang/m2/libm2/RealConver.mod