From 7629404097b9753043325affecb8b084611b5b73 Mon Sep 17 00:00:00 2001
From: rhiannon morris <rhi@rhiannon.website>
Date: Wed, 27 Apr 2022 14:55:19 +0200
Subject: [PATCH] reexport Data.List.Elem from Quox.Error

the constructors need to be in scope for auto to use them
---
 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 8c02208..cee1f3b 100644
--- a/src/Quox/Error.idr
+++ b/src/Quox/Error.idr
@@ -1,6 +1,6 @@
 module Quox.Error
 
-import Data.List.Elem
+import public Data.List.Elem
 
 import public Control.Monad.Identity
 import Control.Monad.Trans