From 30a33380712ddb3b36077a266e4facca022c4225 Mon Sep 17 00:00:00 2001 From: Fedor Sakharov Date: Fri, 23 Aug 2024 15:09:35 +0200 Subject: [PATCH] fix build --- src/decommit.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/decommit.rs b/src/decommit.rs index 49b92b30..df632531 100644 --- a/src/decommit.rs +++ b/src/decommit.rs @@ -94,7 +94,7 @@ impl WorldDiff { world: &mut W, decommit: UnpaidDecommit, gas: &mut u32, - ) -> Option<(Program, usize)> { + ) -> Option<(Program, usize)> { if decommit.cost > *gas { // Unlike all other gas costs, this one is not paid if low on gas. return None;