diff options
Diffstat (limited to 'src/checker_state.rs')
| -rw-r--r-- | src/checker_state.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/checker_state.rs b/src/checker_state.rs index c4b4a3a..30f83be 100644 --- a/src/checker_state.rs +++ b/src/checker_state.rs @@ -13,8 +13,8 @@ pub enum CheckerError { Rebinding(String), #[display("The following functionality is unimplemented: {_0}")] Unimplemented(String), - #[display("Element claimed to belong to {_0} but actually belongs to {_1}")] - WrongSetForElement(Set, Set), + #[display("Element claimed to belong to {claimed} but actually belongs to {real}")] + WrongSetForElement { claimed: Set, real: Set }, #[display("Element {element} does belong to set {claimed}: {reason}")] ElementDoesNotBelong { element: Element, |