Make comment a bit longer

goblint · Sep 24, 2023 · 2f691be · 2f691be
1 parent 1116ef6
commit 2f691be
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/domains/lattice.ml b/src/domains/lattice.ml
@@ -152,7 +152,7 @@ module HConsed (Base:S) =
 struct
   include Printable.HConsed (Base)
 
-  (* We do refine int values on narrow and meet {!IntDomain.IntDomTupleImpl}, which can lead to fixpoint issues *)
+  (* We do refine int values on narrow and meet {!IntDomain.IntDomTupleImpl}, which can lead to fixpoint issues if we assume x op x = x *)
   (* see https://github.com/goblint/analyzer/issues/1005 *)
   let int_refine_active = GobConfig.get_string "ana.int.refinement" <> "never"