Update coment

goblint · Apr 16, 2021 · 85536ab · 85536ab
1 parent e278e94
commit 85536ab
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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)