Update arithmetic.v

formal-land · Sep 10, 2024 · 43852f6 · 43852f6
1 parent 71a0217
commit 43852f6
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
@@ -101,7 +101,7 @@ Definition div : MS? Evm.t Exception.t unit :=
   letS? divisor := StateError.lift_lens Evm.Lens.stack pop in
 
   (* GAS *)
-  letS? _ := charge_gas GAS_VERY_LOW in
+  letS? _ := charge_gas GAS_LOW in
 
   (* OPERATION *)