gsdlab/clafer — pull request #25 by Luke-Michael-Brown (2013-06-27 17:11:03+00:00)
Title: Fixed i226

see http://gsd.uwaterloo.ca:8888/question/948/unary-minus-generated-incorrectly-for-alloy42

Simple change of (-exp) to (exp*(-1))