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