compile: fix

aya-prover · Dec 9, 2024 · b576883 · b576883
1 parent 27fa62f
commit b576883
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/gradle/deps.properties b/gradle/deps.properties
@@ -1,3 +1,3 @@
 version.project=0.0.1-SNAPSHOT
-version.aya=0.35.0-SNAPSHOT
+version.aya=0.36.0-SNAPSHOT
 version.aya-upstream=0.0.29
diff --git a/src/main/java/org/aya/intellij/inspection/warning/BadModifierInspection.kt b/src/main/java/org/aya/intellij/inspection/warning/BadModifierInspection.kt
@@ -6,7 +6,7 @@ import org.aya.intellij.AyaBundle
 import org.aya.intellij.actions.lsp.AyaLsp
 import org.aya.intellij.psi.concrete.AyaPsiDeclModifier
 import org.aya.intellij.psi.concrete.AyaPsiVisitor
-import org.aya.producer.error.BadModifierWarn
+import org.aya.producer.error.BadXWarn.BadModifierWarn
 
 class BadModifierInspection : WarningInspection() {
   companion object {