diff --git a/transformations/SimplifyExprs.hs b/transformations/SimplifyExprs.hs
index 08ca703..e60ba32 100644
--- a/transformations/SimplifyExprs.hs
+++ b/transformations/SimplifyExprs.hs
@@ -347,10 +347,6 @@ pullUp pullUpArraysInsideRecords
                     A.ExprVariable _ (A.DirectedVariable _ _ _) -> return e'
                     --TODO work out whether to pull up DerefVariable
                     _ -> pull t e'
-                A.List _ ->
-                  case e' of
-                    A.ExprVariable _ _ -> return e'
-                    _ -> pull t e'
                 _ -> return e'
       where
         pull :: A.Type -> A.Expression -> PassM A.Expression