- changed status to resolved
Warning: Derived sort
Issue #154
resolved
This warning is not thrown when deriving sorts for variables in a definition...
Comments (2)
-
-
reporter Fixes
#154 - Log in to comment
Fixes
#154→ d1c0d6d989f5