Show production id in state debug print.
@@ -305,7 +305,8 @@ class LRItem(object):
if len(self.production.rhs) == self.position:
s += " ."
- return "%s -> %s" % (self.production.symbol, s)
+ return "%d: %s -> %s" % (self.production.prod_id,
+ self.production.symbol, s)
@property
def is_kernel(self):
