[m-rev.] for review: remove a slow declarative debugger consistency check.

[Zoltan Somogyi]

On 15-Apr-2005, Ian MacLarty <maclarty at cs.mu.OZ.AU> wrote:
> I've also put the following at the top of declarative_edt.m:
> 
> % When debugging, a search space consistency check can be turned on by
> % compiling with the C macro MR_DD_CHECK_SEARCH_SPACE defined (i.e. by
> % putting "EXTRA_CFLAGS=-DMR_DD_CHECK_SEARCH_SPACE" in Mmake.browser.params).
> %

That and the previous mail are fine.

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