summaryrefslogtreecommitdiff
path: root/src/JavaGUI2/de/uka/ilkd
diff options
context:
space:
mode:
authorbringert <bringert@cs.chalmers.se>2007-03-24 17:30:04 +0000
committerbringert <bringert@cs.chalmers.se>2007-03-24 17:30:04 +0000
commit4fdc0b598a36ab6b368e39f354364e20d27e9993 (patch)
tree5f3f75ca9041359e29592b70158f8b4e1a120e0d /src/JavaGUI2/de/uka/ilkd
parent61456fd9ca6189a689ac0911f0e7260ce86e76d0 (diff)
Modified the LC_LR implementation to only produce rules using A-X categories when those categories have any productions.
Diffstat (limited to 'src/JavaGUI2/de/uka/ilkd')
0 files changed, 0 insertions, 0 deletions