From 46b76b4abe947836abf1fa81a420baa91a274c47 Mon Sep 17 00:00:00 2001
From: valis <valery.isaev@gmail.com>
Date: Tue, 18 Jun 2024 20:40:50 +0300
Subject: [PATCH] Fix highlighting of the prelude and generated files

---
 src/main/kotlin/org/arend/psi/ArendFile.kt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/main/kotlin/org/arend/psi/ArendFile.kt b/src/main/kotlin/org/arend/psi/ArendFile.kt
index aed31ad6a..7eb44bdec 100644
--- 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() {}