]> ocean-lang.org Git - ocean/commitdiff
parsergen: don't report conflicts resolved by precedence.
authorNeilBrown <neil@brown.name>
Mon, 10 Jun 2019 06:34:55 +0000 (16:34 +1000)
committerNeilBrown <neil@brown.name>
Mon, 10 Jun 2019 06:59:08 +0000 (16:59 +1000)
If precedence information has been given which can resolve
a conflict, then don't report it.

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

No differences found