[m-rev.] diff: fix termination pragmas

[Simon Taylor]

On 25-Jun-2003, Julien Fischer <juliensf at students.cs.mu.OZ.AU> wrote:
> > > +error_util__describe_several_pred_names(Module, PredId, Pieces) :-
> > > +	list__map(error_util__describe_one_pred_name(Module), PredId, Pieces0),
> > > +	error_util__list_to_pieces(Pieces0, Pieces).
> >
> I'd prefer not to - it's also called by the equivalent place in the
> new termination analyser.

Fair enough.

> interdiff follows:

Commit away.

Simon.
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------