[/] [trunk/] [src/] - Rev 35
Last modification (Rev 35, 2008-04-01 02:55:38 GMT)
- Author:
- tbourke
- 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.
