Fix compilation

goblint · Sep 22, 2024 · d2fc476 · d2fc476
1 parent 1c2c428
commit d2fc476
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/framework/constraints.ml b/src/framework/constraints.ml
@@ -524,7 +524,7 @@ module GlobalGas(GasVal:GasVal):Gas = struct
   module M = Lattice.Chain (struct include GasVal let names x = Format.asprintf "%d" x end)
   let startgas () = M.top () (*  get_int "ana.context.gas_value" *)
 
-  let is_exhausted _  = is_any_exhausted
+  let is_exhausted _ v  = v <= 0
 
   (* callee gas = caller gas - 1 *)
   let callee_gas f v = max 0 (v - 1)