Open Vampire opened 6 years ago
I run the plugin on multiple version of Intellij and I haven't seen this error. Which version you are using?
It is not an error you see in the UI.
It is a warning you see in idea.log
.
I've seen it on multiple versions, including 2018.3 and 2019.1.
Found in idea.log