[m-rev.] diff: mmos tabling optimization

[Zoltan Somogyi]

On 07-Jun-2005, Julien Fischer <juliensf at cs.mu.OZ.AU> wrote:
> > +
> > +    DuplCheckPredNameShortCut = DuplCheckPredName ++ "_shortcut",
> 
> This doesn't compile; DuplCheckPredName is free at this point.

Sorry. I was deleting the old code which I had previously commented out,
and must have deleted an extra line. I am pretty sure the previous line
is supposed to be

	DuplCheckPredName = "table_mmos_answer_is_not_duplicate",

I am testing that now.

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