Typofixes: s/Unexpeceted/Unexpected/g

GaloisInc · Jul 2, 2024 · a483c1e · a483c1e
1 parent 623ea9b
commit a483c1e
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/src/Cryptol/TypeCheck/Infer.hs b/src/Cryptol/TypeCheck/Infer.hs
@@ -1434,7 +1434,7 @@ checkPropGuardCase asmps (P.PropGuardCase guards e0) =
   getT ti =
     case ti of
       P.PosInst t    -> t
-      P.NamedInst {} -> bad "Unexpeceted NamedInst"
+      P.NamedInst {} -> bad "Unexpected NamedInst"
 
   bad msg = panic "checkPropGuardCase" [msg]
 

diff --git a/src/Cryptol/TypeCheck/Type.hs b/src/Cryptol/TypeCheck/Type.hs
@@ -965,7 +965,7 @@ pNegNumeric prop =
 
   where
   bad = panic "pNegNumeric"
-          [ "Unexpeceted numeric constraint:"
+          [ "Unexpected numeric constraint:"
           , pretty prop
           ]