diff --git a/lib/Quox/Typing/Error.idr b/lib/Quox/Typing/Error.idr
index 185e0a6..e618b5a 100644
--- a/lib/Quox/Typing/Error.idr
+++ b/lib/Quox/Typing/Error.idr
@@ -267,7 +267,7 @@ prettyErrorNoLoc showContext = \case
       !(prettyTerm ctx.dnames ctx.tnames s)
 
   ExpectedEq _ ctx s =>
-    hangDSingle "expected an enumeration type, but got"
+    hangDSingle "expected an equality type, but got"
       !(prettyTerm ctx.dnames ctx.tnames s)
 
   ExpectedNat _ ctx s =>