Add "meta" referable kind

JetBrains · Nov 20, 2024 · 1627901 · 1627901
1 parent be47dc9
commit 1627901
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/main/kotlin/org/arend/psi/ext/ArendDefMeta.kt b/src/main/kotlin/org/arend/psi/ext/ArendDefMeta.kt
@@ -48,7 +48,7 @@ class ArendDefMeta : ArendDefinition<ArendDefMetaStub>, Abstract.MetaDefinition,
     override fun getBodyReference(visitor: TypeClassReferenceExtractVisitor): Referable? =
         ReferableExtractVisitor(requiredAdditionalInfo = false, isExpr = true).findReferable(expr)
 
-    override fun getKind() = GlobalReferable.Kind.OTHER
+    override fun getKind() = GlobalReferable.Kind.META
 
     override fun getIcon(flags: Int) = ArendIcons.META_DEFINITION