diff --git a/crates/aiken-lang/src/tipo/pattern.rs b/crates/aiken-lang/src/tipo/pattern.rs
index 64b43fca..30c4477d 100644
--- a/crates/aiken-lang/src/tipo/pattern.rs
+++ b/crates/aiken-lang/src/tipo/pattern.rs
@@ -555,7 +555,7 @@ impl<'a, 'b> PatternTyper<'a, 'b> {
                             Err(Error::IncorrectPatternArity {
                                 location,
                                 given: pattern_args,
-                                expected: 0,
+                                expected: args.len(),
                                 name: name.clone(),
                                 module: module.clone(),
                                 is_record,