Fix highlighting of the prelude and generated files

JetBrains · Jun 18, 2024 · 46b76b4 · 46b76b4
1 parent a8f0c5d
commit 46b76b4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/main/kotlin/org/arend/psi/ArendFile.kt b/src/main/kotlin/org/arend/psi/ArendFile.kt
@@ -176,7 +176,7 @@ class ArendFile(viewProvider: FileViewProvider) : PsiFileBase(viewProvider, Aren
 
     override fun dropTypechecked() {}
     override fun moduleInitialized(): Boolean {
-        return ArendModuleConfigService.getInstance(module)?.isInitialized == true
+        return ArendModuleConfigService.getInstance(module)?.isInitialized != false
     }
 
     override fun dropTCReferable() {}