Outdated comment

goblint · Sep 22, 2024 · 1c2c428 · 1c2c428
1 parent a70c172
commit 1c2c428
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/src/framework/constraints.ml b/src/framework/constraints.ml
@@ -611,7 +611,6 @@ struct
   let query ctx (type a) (q: a Queries.t):a Queries.result =
     match q with
     | Queries.GasExhausted f ->
-      (* The query is only used in a way where overapproximating gas exhaustion is not harmful *)
       let (d,i) = ctx.local in
       Gas.is_exhausted f i
     | _ -> S.query (conv ctx) q