[m-dev.] trivial diff: fix spaces in error messages

Zoltan Somogyi zs at cs.mu.OZ.AU
Fri Oct 29 16:27:13 AEST 1999


> -			io__write_string(" Sorry, not impemented: `pragma "),
> +			io__write_string("Sorry, not impemented: `pragma "),

Please fix the spelling error as well.

Zoltan.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------



More information about the developers mailing list