tags 530119 fixed-upstream thanks I wrote a patch and forwarded it upstream, it has been added to the svn.
http://smlnj-gforge.cs.uchicago.edu/tracker/index.php?func=detail&aid=34&group_id=33&atid=215
signature.asc
Description: OpenPGP digital signature