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

[Ralph Becket]

Ian MacLarty, Friday, 15 April 2005:
> 
> 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 looks fine to me.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------