]> ocean-lang.org Git - ocean/commitdiff
parsergen: calculate and record "min_prefix" for each state.
authorNeilBrown <neilb@suse.de>
Thu, 2 Oct 2014 10:51:36 +0000 (20:51 +1000)
committerNeilBrown <neilb@suse.de>
Thu, 2 Oct 2014 10:51:36 +0000 (20:51 +1000)
This is needed to determine when we can cancel an TK_out.

Signed-off-by: NeilBrown <neil@brown.name>

No differences found