search

JetBrains / intellij-arend

Arend plugin for IntelliJ IDEA
Apache License 2.0
90 stars 12 forks source link

Run typechecking creates new run configurations #464

Closed valis closed 7 months ago

valis commented 8 months ago
  1. Click on the gutter icon near a definition and choose "Run 'Typecheck name'".
  2. Do this one more time.
  3. It creates two identical run configurations instead of using the old ones.