1 files changed, 0 insertions, 6 deletions
diff --git a/src/AST.hs b/src/AST.hs
index 6370148..9f1da7a 100644
--- a/src/AST.hs
+++ b/src/AST.hs
@@ -20,7 +20,6 @@ import Data.Functor.Const
 import Data.Kind (Type)
 
 import Array
-import AST.Env
 import AST.Types
 import AST.Weaken
 import CHAD.Types
@@ -289,11 +288,6 @@ subst' f w = \case
 weakenExpr :: env :> env' -> Expr x env t -> Expr x env' t
 weakenExpr = subst' (\x t w' i -> EVar x t (w' @> i))
 
-wUndoSubenv :: Subenv env env' -> env' :> env
-wUndoSubenv SETop = WId
-wUndoSubenv (SEYes sub) = WCopy (wUndoSubenv sub)
-wUndoSubenv (SENo sub) = WSink .> wUndoSubenv sub
-
 slistIdx :: SList f list -> Idx list t -> f t
 slistIdx (SCons x _) IZ = x
 slistIdx (SCons _ list) (IS i) = slistIdx list i