From 9e78f0fc2a6805bbf3a47f29c5e836a2d73acf25 Mon Sep 17 00:00:00 2001 From: microproofs Date: Mon, 18 Mar 2024 11:24:13 -0400 Subject: [PATCH] update for latest main --- crates/aiken-lang/src/tipo.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/crates/aiken-lang/src/tipo.rs b/crates/aiken-lang/src/tipo.rs index 1286f54d..21cadca2 100644 --- a/crates/aiken-lang/src/tipo.rs +++ b/crates/aiken-lang/src/tipo.rs @@ -229,7 +229,7 @@ impl Type { } => *opaque || args.iter().any(|arg| arg.contains_opaque()), Type::Tuple { elems, .. } => elems.iter().any(|elem| elem.contains_opaque()), Type::Fn { .. } => false, - Type::Pair { fst, snd } => fst.contains_opaque() || snd.contains_opaque(), + Type::Pair { fst, snd, .. } => fst.contains_opaque() || snd.contains_opaque(), } }