fmt

TomWambsgans · TomWambsgans · commit 32688b27f3da · 2026-04-13T00:36:21.000+02:00
diff --git a/crates/lean_compiler/src/a_simplify_lang.rs b/crates/lean_compiler/src/a_simplify_lang.rs
@@ -2535,9 +2535,7 @@ fn simplify_lines(
                                     ));
                                 }
                             }
-                            if !matches!(&left, SimpleExpr::Memory(_))
-                                && !matches!(&right, SimpleExpr::Memory(_))
-                            {
+                            if !matches!(&left, SimpleExpr::Memory(_)) && !matches!(&right, SimpleExpr::Memory(_)) {
                                 return Err(format!("Unsupported equality assertion: {left:?}, {right:?}"));
                             }
                             res.push(SimpleLine::AssertEq {

Original file line number	Diff line number	Diff line change
`@@ -2535,9 +2535,7 @@ fn simplify_lines(`
`2535`	`2535`	`));`
`2536`	`2536`	`}`
`2537`	`2537`	`}`
`2538`		`- if !matches!(&left, SimpleExpr::Memory(_))`
`2539`		`- && !matches!(&right, SimpleExpr::Memory(_))`
`2540`		`- {`
	`2538`	`+ if !matches!(&left, SimpleExpr::Memory(_)) && !matches!(&right, SimpleExpr::Memory(_)) {`
`2541`	`2539`	`return Err(format!("Unsupported equality assertion: {left:?}, {right:?}"));`
`2542`	`2540`	`}`
`2543`	`2541`	`res.push(SimpleLine::AssertEq {`