word

anoma · Jun 25, 2024 · 36a4317 · 36a4317
1 parent af05572
commit 36a4317
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