Warning: Derived sort

Issue #154 resolved
Bart Bogaerts created an issue

This warning is not thrown when deriving sorts for variables in a definition...

Comments (2)

  1. Log in to comment