diff --git a/liquidhaskell-boot/src-ghc/Liquid/GHC/API.hs b/liquidhaskell-boot/src-ghc/Liquid/GHC/API.hs
index a1c474784d..1b9804195d 100644
--- a/liquidhaskell-boot/src-ghc/Liquid/GHC/API.hs
+++ b/liquidhaskell-boot/src-ghc/Liquid/GHC/API.hs
@@ -320,7 +320,7 @@ import GHC.Core.Make                  as Ghc
 import GHC.Core.Predicate             as Ghc (getClassPredTys_maybe, getClassPredTys, isEvVarType, isEqPrimPred, isEqPred, isClassPred, isDictId, mkClassPred)
 import GHC.Core.Reduction             as Ghc
     ( Reduction(Reduction) )
-import GHC.Core.Subst                 as Ghc (deShadowBinds, emptySubst, extendCvSubst)
+import GHC.Core.Subst                 as Ghc (emptySubst, extendCvSubst)
 import GHC.Core.TyCo.Rep              as Ghc
     ( AnonArgFlag(VisArg)
     , ArgFlag(Required)
diff --git a/liquidhaskell-boot/src/Language/Haskell/Liquid/Termination/Structural.hs b/liquidhaskell-boot/src/Language/Haskell/Liquid/Termination/Structural.hs
index 3325f45135..b2f7e3da7b 100644
--- a/liquidhaskell-boot/src/Language/Haskell/Liquid/Termination/Structural.hs
+++ b/liquidhaskell-boot/src/Language/Haskell/Liquid/Termination/Structural.hs
@@ -37,13 +37,10 @@ failingBinds info = filter (hasErrors . checkBind) structBinds
 
 checkBind :: CoreBind -> Result ()
 checkBind bind = do
-  srcCallInfo <- getCallInfoBind emptyEnv (deShadowBind bind)
+  srcCallInfo <- getCallInfoBind emptyEnv bind
   let structCallInfo = fmap toStructCall <$> srcCallInfo
   fold $ mapWithFun structDecreasing structCallInfo
 
-deShadowBind :: CoreBind -> CoreBind
-deShadowBind bind = head $ deShadowBinds [bind]
-
 findStructBinds :: HashSet Var -> CoreProgram -> [CoreBind]
 findStructBinds structFuns program = filter isStructBind program
   where