]> ocean-lang.org Git - ocean/commitdiff
parsergen: make sure we continue making states until all done.
authorNeilBrown <neilb@suse.de>
Sun, 21 Jul 2013 08:20:00 +0000 (18:20 +1000)
committerNeilBrown <neilb@suse.de>
Sun, 21 Jul 2013 08:20:00 +0000 (18:20 +1000)
Whenever we add a state, we need to check again, as it might have been
added early in the list.
There is probably a much more efficient way to do this....

Signed-off-by: NeilBrown <neilb@suse.de>

No differences found