hguenther/language-nusmv — pull request #4 by TPolzer (2014-03-06 13:55:42+00:00)
Title: fix precedence

Happy interprets precedence from low to high, while the nusmv manual states it from high to low.