[/] [trunk/] - Rev 35
Last modification (Rev 35 2008-04-01 02:55:38 GMT)
- Log message:
- Fix a nasty bug when combining location invariant expressions with
transition guards: the selection bindings of the transition guard were not
being considered properly leading to improper variable captures by foralls
in the location invariant expression.