From 0dd3c231e66dba938d2980bb98f6dd94e79ac8d7 Mon Sep 17 00:00:00 2001
From: rhiannon morris <rhi@rhiannon.website>
Date: Sun, 13 Aug 2023 13:45:29 +0200
Subject: [PATCH] fix a typo

`ExpectedEq` does not expect an *enumeration* type
---
 lib/Quox/Typing/Error.idr | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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 =>