Auto-overcompletion

Issue #738 resolved
Ingmar Dasseville created an issue

When the domain of a sort is explicitely said to be empty, the sort is autocompleted to contain the elements of the other vocabularies.

(In the example: an error should be thrown for Q)

Comments (1)

  1. Log in to comment