Fix solve test module

This commit is contained in:
Ayaz Hafiz 2023-03-21 07:16:05 -04:00
parent 3e83e42195
commit 84fa22f235
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58

View file

@ -8851,7 +8851,7 @@ mod solve_expr {
# ^^^^^^^^^
"#
),
@"Bool#Bool.isEq(10) : Bool, Bool -[[Bool.structuralEq(11)]]-> Bool"
@"Eq#Bool.isEq(9) : Bool, Bool -[[Bool.structuralEq(11)]]-> Bool"
);
}
}