Fix typo in error message

Beluga-lang · Aug 9, 2023 · 0b63c5f · 0b63c5f
1 parent e3254fc
commit 0b63c5f
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/src/parser/clf_disambiguation.ml b/src/parser/clf_disambiguation.ml
@@ -144,7 +144,7 @@ let () =
         Format.dprintf "The LF type-level constant %a is unbound."
           Qualified_identifier.pp identifier
     | Expected_clf_type_constant ->
-        Format.dprintf "Expected a LF type-level constant."
+        Format.dprintf "Expected an LF type-level constant."
     | Unbound_type_constant_or_illegal_projection_clf_type identifier ->
         Format.dprintf
           "Either the LF type-level constant %a is unbound, or a projection \

diff --git a/t/code/error/recon-simple.bel.out b/t/code/error/recon-simple.bel.out
@@ -1,7 +1,7 @@
 File "./t/code/error/recon-simple.bel", line 96, column 11:
 96 |    [g |- SN N] ->
               ^^      
-Error: Expected a LF type-level constant.
+Error: Expected an LF type-level constant.
        File "./t/code/error/recon-simple.bel", line 25, column 11:
        25 |inductive SN : (g : cxt) {M : [g |- tm A[]]} ctype =
                      ^^                                        

diff --git a/t/code/error/recon.bel.out b/t/code/error/recon.bel.out
@@ -1,7 +1,7 @@
 File "./t/code/error/recon.bel", line 174, column 10:
 174 |   [g |- SN N] ->
               ^^      
-Error: Expected a LF type-level constant.
+Error: Expected an LF type-level constant.
        File "./t/code/error/recon.bel", line 94, column 11:
        94 |inductive SN : (g : cxt) {M : [g |- tm A[]]} ctype =
                      ^^