fix haddock build

1 files changed, 1 insertions, 1 deletions

diff --git a/src/LambdaCube/Compiler/CoreToIR.hs b/src/LambdaCube/Compiler/CoreToIR.hs
index 5ecf93ab..155c05d6 100644
--- a/src/LambdaCube/Compiler/CoreToIR.hs
+++ b/src/LambdaCube/Compiler/CoreToIR.hs
@@ -906,7 +906,7 @@ mkEnv xs = {-trace_ ("mk " ++ show (length xs)) $ -} zipWith up [1..] xs
 
 instance Up ExpTV where
     up_ n i (ExpTV x xt vs) = error "up @ExpTV" --ExpTV (up_ n i x) (up_ n i xt) (up_ n i <$> vs)
-    used i (ExpTV x xt vs) = used i x || used i xt -- || any (used i) vs{-?-}
+    used i (ExpTV x xt vs) = used i x || used i xt -- -|| any (used i) vs{-?-}
     fold = error "fold @ExpTV"
     maxDB_ (ExpTV a b cs) = maxDB_ a <> maxDB_ b -- <> foldMap maxDB_ cs{-?-}
     closedExp (ExpTV a b cs) = ExpTV (closedExp a) (closedExp b) cs