From f620dda63961aeea54b86c91ab304406175bf8d4 Mon Sep 17 00:00:00 2001
From: rhiannon morris <rhi@rhiannon.website>
Date: Sun, 26 Mar 2023 16:15:30 +0200
Subject: [PATCH] fix error message

---
 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 04b4c4a..aa73237 100644
--- a/lib/Quox/Typing/Error.idr
+++ b/lib/Quox/Typing/Error.idr
@@ -283,7 +283,7 @@ parameters {auto _ : (Eq q, IsQty q, PrettyHL q)} (unicode : Bool)
                    hsep ["with quantity", pretty0 unicode pi]],
             prettyError showContext err]
 
-    WhileComparingT ctx mode s t a err =>
+    WhileComparingT ctx mode a s t err =>
       vsep [inEContext ctx $
               sep ["while checking that", terme ctx s,
                    hsep ["is", prettyMode mode], terme ctx t,