(Useless Rules, Reduced Automaton, Underivable Rules): Adjust reported
authorPaul Eggert <eggert@cs.ucla.edu>
Sat, 7 Dec 2002 06:16:30 +0000 (06:16 +0000)
committerPaul Eggert <eggert@cs.ucla.edu>
Sat, 7 Dec 2002 06:16:30 +0000 (06:16 +0000)
commite551232efa09885e6feb36b73ea0d8f94559bb85
treea620693caa6e14e84adcf0881650de6e94026e84
parentb06af56f5548a9126e0c9d14ae3876034f5cb6ca
(Useless Rules, Reduced Automaton, Underivable Rules): Adjust reported
locations to match the more-precise results now expected.
tests/reduce.at