diff --git a/src/cdomains/intDomain.ml b/src/cdomains/intDomain.ml
index ea18ef594f..a0e51d3ff4 100644
--- a/src/cdomains/intDomain.ml
+++ b/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)