build: fix dependency version number

aya-prover · Dec 17, 2024 · 7e1a745 · 7e1a745
1 parent 83230d2
commit 7e1a745
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/build.gradle.kts b/build.gradle.kts
@@ -22,7 +22,7 @@ plugins {
   // Kotlin support
   kotlin("jvm") version "2.1.0"
   // https://github.com/JetBrains/gradle-intellij-plugin
-  id("org.jetbrains.intellij.platform") version "2.1.1"
+  id("org.jetbrains.intellij.platform") version "2.2.1"
   // https://github.com/JetBrains/gradle-changelog-plugin
   id("org.jetbrains.changelog") version "2.2.1"
   // https://github.com/JetBrains/gradle-grammar-kit-plugin