leanEthereum
diff --git a/‎crates/lean_compiler/src/a_simplify_lang.rs‎
Lines changed: 1 addition & 1 deletion b/‎crates/lean_compiler/src/a_simplify_lang.rs‎
Lines changed: 1 addition & 1 deletion
@@ -2042,7 +2042,7 @@ impl SimpleLine {
                 format!("{result} = counter_hint()")
             }
             Self::RawAccess { res, index, shift } => {
-                format!("memory[{index} + {shift}] = {res}")
+                format!("{res} = memory[{index} + {shift}]")
             }
             Self::TestZero { operation, arg0, arg1 } => {
                 format!("0 = {arg0} {operation} {arg1}")
Original file line number	Diff line number	Diff line change
`@@ -2042,7 +2042,7 @@ impl SimpleLine {`
`2042`	`2042`	`format!("{result} = counter_hint()")`
`2043`	`2043`	`}`
`2044`	`2044`	`Self::RawAccess { res, index, shift } => {`
`2045`		`- format!("memory[{index} + {shift}] = {res}")`
	`2045`	`+ format!("{res} = memory[{index} + {shift}]")`
`2046`	`2046`	`}`
`2047`	`2047`	`Self::TestZero { operation, arg0, arg1 } => {`
`2048`	`2048`	`format!("0 = {arg0} {operation} {arg1}")`