diff --git a/lib/Quox/Equal.idr b/lib/Quox/Equal.idr
index de4d7bb..fa704bb 100644
--- a/lib/Quox/Equal.idr
+++ b/lib/Quox/Equal.idr
@@ -8,11 +8,6 @@ import public Control.Monad.Reader
 import Data.Maybe
 
 
-private %inline
-ClashE : EqMode -> Term q d n -> Elim q d n -> Elim q d n -> Error q
-ClashE mode ty = ClashT mode ty `on` E
-
-
 public export
 record Env where
   constructor MakeEnv