1. KRR Avatar KRR
  2. software
  3. IDP
  4. Issues

Throw warning on sorts with an empty interpretation

Issue #137 resolved
Broes De Cat created an issue

Very difficult to find out otherwise why so many unexpected propagations occur.

Comments (1)

  2. Log in to comment
Assignee
–
Type
bug
Priority
major
Status
resolved
Component
Parser
Version
2.1
Votes
0
Watchers
0
Jira: the preferred issue tracker for Bitbucket. Join the team!