Update IntDomain to_excl_list documentation with included range of bits

goblint · Mar 16, 2022 · e382734 · e382734
1 parent 4fa800f
commit e382734
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/cdomains/intDomain.mli b/src/cdomains/intDomain.mli
@@ -193,7 +193,7 @@ sig
     * returns [true], the above [to_bool] should return a real value. *)
 
   val to_excl_list: t -> (int_t list * (int64 * int64)) option
-  (** Gives a list representation of the excluded values if possible. *)
+  (** Gives a list representation of the excluded values from included range of bits if possible. *)
 
   val of_excl_list: Cil.ikind -> int_t list -> t
   (** Creates an exclusion set from a given list of integers. *)