Units not translated in contexts

Description

Units are not translated to ProB if they are attached to constants inside a context. Probably a problem with static checking.

Environment

None

Gliffy Diagrams

Activity

Show:
Fixed

Details

Assignee

Reporter

Priority

More fields

Created January 15, 2013 at 2:27 PM
Updated January 21, 2013 at 8:06 AM
Resolved January 21, 2013 at 8:06 AM