[m-rev.] diff: fix profiler/globals.m

[Zoltan Somogyi]

On 18-May-2004, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
> > -:- pred globals__io_lookup_bool_option(option, bool, io__state, io__state).
> > +:- pred globals__io_lookup_bool_option(option, bool, io, io).
> >  :- mode globals__io_lookup_bool_option(in, out, di, uo) is det.
> >  :- mode globals__io_lookup_bool_option(in, in, di, uo) is semidet. % implied
> 
> I missed the part where you actually deleted that mode...

I posted and committed the initial cleanup of the file, not the deletion,
but I have now also committed the deletion.

Zoltan.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------