Update arithmetic.v

formal-land · Sep 10, 2024 · 71a0217 · 71a0217
1 parent 0370eab
commit 71a0217
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/CoqOfPython/ethereum/paris/vm/instructions/simulations/arithmetic.v b/CoqOfPython/ethereum/paris/vm/instructions/simulations/arithmetic.v
@@ -97,8 +97,8 @@ Definition mul : MS? Evm.t Exception.t unit :=
 
 Definition div : MS? Evm.t Exception.t unit :=
   (* STACK *)
-  letS? divisor := StateError.lift_lens Evm.Lens.stack pop in
   letS? divident := StateError.lift_lens Evm.Lens.stack pop in
+  letS? divisor := StateError.lift_lens Evm.Lens.stack pop in
 
   (* GAS *)
   letS? _ := charge_gas GAS_VERY_LOW in