minor gas fix (#881)

lambdaclass · Oct 28, 2024 · 4e8af66 · 4e8af66
1 parent a628b24
commit 4e8af66
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/libfuncs/gas.rs b/src/libfuncs/gas.rs
@@ -105,7 +105,7 @@ pub fn build_withdraw_gas<'ctx, 'this>(
         context,
         is_enough,
         [0, 1],
-        [&[range_check, resulting_gas]; 2],
+        [&[range_check, resulting_gas], &[range_check, current_gas]],
         location,
     ));
 
@@ -148,7 +148,7 @@ pub fn build_builtin_withdraw_gas<'ctx, 'this>(
         context,
         is_enough,
         [0, 1],
-        [&[range_check, resulting_gas]; 2],
+        [&[range_check, resulting_gas], &[range_check, current_gas]],
         location,
     ));