diff --git a/crates/aiken-lang/src/tipo/fields.rs b/crates/aiken-lang/src/tipo/fields.rs index e07ccd7b..17afc9cc 100644 --- a/crates/aiken-lang/src/tipo/fields.rs +++ b/crates/aiken-lang/src/tipo/fields.rs @@ -150,9 +150,9 @@ impl FieldMap { self.fields .keys() - .cloned() .filter(|f| !given.contains(f)) .sorted() + .cloned() .collect() } }