We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent ccef787 commit a2b25a2Copy full SHA for a2b25a2
crates/lean_vm/src/isa/instruction.rs
@@ -186,8 +186,8 @@ impl Instruction {
186
if *for_range_check {
187
// if for_range_check, ignore the UndefinedMemory error from get()
188
let value = ctx.memory.get(ptr.to_usize() + shift_1);
189
- if value.is_ok() {
190
- ctx.memory.set(memory_address_res, value.unwrap())?;
+ if let Ok(value) = value {
+ ctx.memory.set(memory_address_res, value)?;
191
}
192
} else {
193
// else, bubble it up
0 commit comments