Fix typo in error messages. Fixes #840.

GaloisInc · Jul 28, 2020 · 928ac7f · 928ac7f
1 parent 1a2456a
commit 928ac7f
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/Cryptol/TypeCheck/Solver/Class.hs b/src/Cryptol/TypeCheck/Solver/Class.hs
@@ -204,12 +204,12 @@ solveIntegralInst ty = case tNoUser ty of
       TCon (TC TCBit) [] -> SolvedIf [ pFin n ]
       TVar _ -> Unsolved
       _ -> Unsolvable $ TCErrorMessage $ show
-          $ "Type" <+> quotes (pp ty) <+> "is not an intergral type."
+          $ "Type" <+> quotes (pp ty) <+> "is not an integral type."
 
   TVar _ -> Unsolved
 
   _ -> Unsolvable $ TCErrorMessage $ show
-          $ "Type" <+> quotes (pp ty) <+> "is not an intergral type."
+          $ "Type" <+> quotes (pp ty) <+> "is not an integral type."
 
 
 -- | Solve a Field constraint by instance, if possible.