PrettyPrintOptions button is greyed out
Open
bug
error-message
- Dominant language
- Java
- Stars
- 756
- Forks
- 31
- PR merge metrics
- No merged PRs in 30d
Description
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```
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.