Arend icon indicating copy to clipboard operation
Arend copied to clipboard

Published 20 hours ago • verified publisher icon JetBrains

PrettyPrintOptions button is greyed out

Open sxhya opened this issue 1 year ago • 0 comments

In IDE PrettyPrintOptions button is greyed out for the following error:

ERROR] Test.ard:19:27: Actual universe \Type is not compatible with specified universe \Type In: \Type

sxhya avatar Jun 06 '23 10:06 sxhya