Issue 46: Allow 'this' to be used in state invariants
Status:  Fixed
Owner:
Closed:  Sep 2008
Project Member Reported by nels.bec...@gmail.com, Sep 30, 2008
In order to do the Blocking_queue example I need to be able to store an 
implication for a permission to 'this.' (Currently, doing this throws a 
null pointer exception.)
Sep 30, 2008
Project Member #1 nels.bec...@gmail.com
Fix committed in r95.
Status: Fixed