Fix typo.

essential-contributions · Oct 7, 2024 · 57c640f · 57c640f
1 parent bfb31f7
commit 57c640f
Show file tree

Hide file tree

Showing 4 changed files with 9 additions and 9 deletions.
diff --git a/pintc/src/error/compile_error.rs b/pintc/src/error/compile_error.rs
@@ -1467,13 +1467,13 @@ impl ReportableError for CompileError {
  BadCastFrom { .. } => {
  if cfg!(feature = "experimental-types") {
  Some(
- "casts may only be made from `bool`s,`int`s, and enuemration unions to `int`, \
+ "casts may only be made from `bool`s,`int`s, and enumeration unions to `int`, \
  or from `int`s, `real`s, and enumeration unions to `real`"
  .to_string()
  )
  } else {
  Some(
- "casts may only be made from `bool`s,`int`s, and enuemration unions to `int`"
+ "casts may only be made from `bool`s,`int`s, and enumeration unions to `int`"
  .to_string()
  )
  }

diff --git a/pintc/tests/evaluator/cast_error.pnt b/pintc/tests/evaluator/cast_error.pnt
@@ -11,11 +11,11 @@ const c = 44 as bool;
 // typecheck_failure <<<
 // invalid cast
 // @33..48: illegal cast from `int[_]`
-// casts may only be made from `bool`s,`int`s, and enuemration unions to `int`
+// casts may only be made from `bool`s,`int`s, and enumeration unions to `int`
 // invalid cast
 // @10..21: illegal cast from `{int}`
-// casts may only be made from `bool`s,`int`s, and enuemration unions to `int`
+// casts may only be made from `bool`s,`int`s, and enumeration unions to `int`
 // invalid cast
 // @60..70: illegal cast from `int`
-// casts may only be made from `bool`s,`int`s, and enuemration unions to `int`
+// casts may only be made from `bool`s,`int`s, and enumeration unions to `int`
 // >>>
diff --git a/pintc/tests/experimental/cast_error.pnt b/pintc/tests/experimental/cast_error.pnt
@@ -11,11 +11,11 @@ const c = 44 as bool;
 // typecheck_failure <<<
 // invalid cast
 // @33..48: illegal cast from `int[_]`
-// casts may only be made from `bool`s,`int`s, and enuemration unions to `int`, or from `int`s, `real`s, and enumeration unions to `real`
+// casts may only be made from `bool`s,`int`s, and enumeration unions to `int`, or from `int`s, `real`s, and enumeration unions to `real`
 // invalid cast
 // @10..21: illegal cast from `{int}`
-// casts may only be made from `bool`s,`int`s, and enuemration unions to `int`, or from `int`s, `real`s, and enumeration unions to `real`
+// casts may only be made from `bool`s,`int`s, and enumeration unions to `int`, or from `int`s, `real`s, and enumeration unions to `real`
 // invalid cast
 // @60..70: illegal cast from `int`
-// casts may only be made from `bool`s,`int`s, and enuemration unions to `int`, or from `int`s, `real`s, and enumeration unions to `real`
+// casts may only be made from `bool`s,`int`s, and enumeration unions to `int`, or from `int`s, `real`s, and enumeration unions to `real`
 // >>>
diff --git a/pintc/tests/unions/bad_union_used_as_enum.pnt b/pintc/tests/unions/bad_union_used_as_enum.pnt
@@ -17,7 +17,7 @@ predicate Foo {
 // typecheck_failure <<<
 // invalid cast
 // @73..84: illegal cast from `::U`
-// casts may only be made from `bool`s,`int`s, and enuemration unions to `int`
+// casts may only be made from `bool`s,`int`s, and enumeration unions to `int`
 // invalid array range type ::U
 // @54..55: array access must be of type `int` or enumeration `union`
 // found range type `::U`