From ce9d55becc20e2cba946e01c67098c5f0c4552fd Mon Sep 17 00:00:00 2001
From: rhiannon morris <rhi@rhiannon.website>
Date: Fri, 8 Apr 2022 00:14:05 +0200
Subject: [PATCH] fix a warning

---
 src/Quox/Error.idr | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Quox/Error.idr b/src/Quox/Error.idr
index 477e8f5..1c17878 100644
--- a/src/Quox/Error.idr
+++ b/src/Quox/Error.idr
@@ -36,7 +36,7 @@ Uninhabited (OneOf []) where uninhabited x = uninhabited x.elem
 
 
 export %inline
-one : type `Elem` types => type -> OneOf types
+one : ty `Elem` types => ty -> OneOf types
 one @{elem} value = One {elem, value}
 
 ||| `All p types` computes a constraint for `p a` for each `a` in `types`