Merge branch 'feature/add-zkvm-instruction' into feature/imperfect-in…

…struction-parsing
o1-labs · Dec 5, 2023 · 00a7bdd · 00a7bdd
2 parents 2246bb9 + debadb5
commit 00a7bdd
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/optimism/src/mips/interpreter.rs b/optimism/src/mips/interpreter.rs
@@ -552,15 +552,15 @@ pub fn interpret_rtype<Env: InterpreterEnv>(env: &mut Env, instr: RTypeInstructi
             env.set_instruction_pointer(next_instruction_pointer.clone());
             env.set_next_instruction_pointer(next_instruction_pointer + Env::constant(4u32));
             return;
-        },
+        }
         RTypeInstruction::AddUnsigned => {
             let rs = env.read_register(&rs);
             let rt = env.read_register(&rt);
             env.write_register(&rd, rs + rt);
             env.set_instruction_pointer(next_instruction_pointer.clone());
             env.set_next_instruction_pointer(next_instruction_pointer + Env::constant(4u32));
             return;
-        },
+        }
         RTypeInstruction::Sub => (),
         RTypeInstruction::SubUnsigned => (),
         RTypeInstruction::And => (),