diff --git a/transformations/Unnest.hs b/transformations/Unnest.hs
index 45d4733..9bed173 100644
--- a/transformations/Unnest.hs
+++ b/transformations/Unnest.hs
@@ -236,6 +236,7 @@ removeNesting = pass "Pull nested definitions to top level"
     -- C doesn't allow us to pull up pointers to records to the top-level
     abbrevRecord :: A.SpecType -> Bool
     abbrevRecord (A.Is _ _ (A.Record {}) _) = True
+    abbrevRecord (A.Is _ _ (A.Array _ (A.Record {})) _) = True
     abbrevRecord _ = False