diff --git a/crates/aiken-lang/src/tipo/exhaustive.rs b/crates/aiken-lang/src/tipo/exhaustive.rs
index 1070907c..aa8e7d13 100644
--- a/crates/aiken-lang/src/tipo/exhaustive.rs
+++ b/crates/aiken-lang/src/tipo/exhaustive.rs
@@ -556,11 +556,11 @@ pub(super) fn simplify(
             Ok(p)
         }
         ast::Pattern::Constructor {
-            name,
             arguments,
             location,
             tipo,
             with_spread,
+            constructor: super::PatternConstructor::Record { name, .. },
             ..
         } => {
             let (module, type_name, arity) = match tipo.deref() {