Rm outdated comment

goblint · Jan 9, 2024 · 3422110 · 3422110
1 parent 8ac3384
commit 3422110
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/cdomains/apron/affineEqualityDomain.apron.ml b/src/cdomains/apron/affineEqualityDomain.apron.ml
@@ -602,7 +602,7 @@ struct
     | Some v ->
       let ik = Cilfacade.get_ikind v.vtype in
       if not (Cil.isSigned ik) then
-        raise NotRefinable (* TODO: unsigned w/o bounds handled differently? *)
+        raise NotRefinable
       else
         match Bounds.bound_texpr res (Convert.texpr1_of_cil_exp res res.env (Lval (Cil.var v)) true) with
         | Some min, Some max ->