diff --git a/transformations/SimplifyExprs.hs b/transformations/SimplifyExprs.hs
index 00dc1bc..338daff 100644
--- a/transformations/SimplifyExprs.hs
+++ b/transformations/SimplifyExprs.hs
@@ -443,6 +443,10 @@ pullUp pullUpArraysInsideRecords = pass "Pull up definitions"
                   case e' of
                     A.Literal {} -> pull t e'
                     _ -> return e'
+                A.Record _ ->
+                  case e' of
+                    A.Literal {} -> pull t e'
+                    _ -> return e'
                 _ -> return e'
       where
         pull :: A.Type -> A.Expression -> PassM A.Expression