Arbitrary: fix bug related to refinements of declarations raising a w…#4137

Merged

gcanti merged 1 commit intomainfrom fix-4136

Dec 13, 2024

+18-3

Commits on Dec 13, 2024

Arbitrary: fix bug related to refinements of declarations raising a wrong missing annotation error, closes #4136
gcanti
committed