1 files changed, 2 insertions, 1 deletions

diff --git a/src/LambdaCube/Compiler/CoreToIR.hs b/src/LambdaCube/Compiler/CoreToIR.hs
index e0aef2c3..51548cf3 100644
--- a/src/LambdaCube/Compiler/CoreToIR.hs
+++ b/src/LambdaCube/Compiler/CoreToIR.hs
@@ -33,7 +33,8 @@ import qualified LambdaCube.IR as IR
 import qualified LambdaCube.Linear as IR
 
 import LambdaCube.Compiler.Pretty
-import LambdaCube.Compiler.DeBruijn as I
+import LambdaCube.Compiler.DeBruijn as I (HasFreeVars (..), Rearrange (..),
+                                          shiftFreeVars, up)
 import LambdaCube.Compiler.DesugaredSource hiding (getTTuple)
 import LambdaCube.Compiler.Core (Subst(..), down, nType)
 import qualified LambdaCube.Compiler.Core as I