Update coment

Author: jerhard

src/cdomains/intDomain.ml

@@ -1796,7 +1796,7 @@ module IntDomTupleImpl = struct
   module I3 = Enums
   type t = I1.t option * I2.t option * I3.t option [@@deriving to_yojson]
 
-  (* The Interval32 domain can lead to too many contexts for recursive functions (top is [min,max]), but we don't want to drop all ints as with `exp.no-int-context`. TODO better solution? *)
+  (* The Interval domain can lead to too many contexts for recursive functions (top is [min,max]), but we don't want to drop all ints as with `exp.no-int-context`. TODO better solution? *)
   let no_interval = Tuple3.map2 (const None)
 
   type 'a m = (module S with type t = 'a)