From 1c2c428680c00e27c01abcb34fcb3f462a26aa1c Mon Sep 17 00:00:00 2001
From: Michael Schwarz <michael.schwarz93@gmail.com>
Date: Sun, 22 Sep 2024 13:48:18 +0200
Subject: [PATCH] Outdated comment

---
 src/framework/constraints.ml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/framework/constraints.ml b/src/framework/constraints.ml
index b1c3919bd4..1794443bd1 100644
--- 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