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```
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