From 71a021769f1256067c050f9d8be82465a089dddf Mon Sep 17 00:00:00 2001 From: Guillaume Claret Date: Tue, 10 Sep 2024 11:11:20 +0200 Subject: [PATCH] Update arithmetic.v --- .../ethereum/paris/vm/instructions/simulations/arithmetic.v | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/CoqOfPython/ethereum/paris/vm/instructions/simulations/arithmetic.v b/CoqOfPython/ethereum/paris/vm/instructions/simulations/arithmetic.v index 60b6c77..fc7d6fc 100644 --- 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