[m-rev.] For review: ensure proper initialisation of pretty_printer

[Ralph Becket]

Peter Wang, Wednesday, 28 April 2010:
> On 28 April 2010 00:01, Julien Fischer <juliensf at csse.unimelb.edu.au> wrote:
> >
> > I have committed the following patch which fixes that.
> >
> > Julien.
> 
> I have committed this.
> 
> 
> library/pretty_printer.m:
>         Corrections for Java grade.

Thanks!
--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------