[lkb] Redundancy detection

"Emily M. Bender" <[email protected]> Mon, 10 Dec 2007 16:40:58 -0800
Newsgroups gmane.comp.ai.lkb
Message-ID <[email protected]>
Hi folks,

Is it possible to turn off the functionality that
discovers where exactly the redundancy is after
an error message like "Redundancy involving IMP-AUX"
is printed?  With my current grammar at least, there
seems to be a lot of gargbage collecting involved 
in figuring out what exactly the redundancy is; I
can usually spot it way faster than the machine can.

Emily