word

anoma · Jun 19, 2024 · 0de6e37 · 0de6e37
1 parent c2b45e2
commit 0de6e37
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/Juvix/Compiler/Internal/Translation/FromInternal/Analysis/TypeChecking/Error/Types.hs b/src/Juvix/Compiler/Internal/Translation/FromInternal/Analysis/TypeChecking/Error/Types.hs
@@ -656,7 +656,7 @@ instance ToGenericError BadScope where
           i = getLoc (e ^. badScopeVar)
           var = e ^. badScopeVar
           msg :: Doc Ann =
-            annotate AnnImportant "Oops! This is a bug of the juvix compiler."
+            annotate AnnImportant "Oops! This is a known bug in the juvix compiler."
               <> line
               <> "Most likely, the inference algorithm inserted the variable"
               <+> ppCode opts' var