diff --git a/lisa/lisa-analyses/src/main/java/it/unive/lisa/analysis/numeric/Pentagon.java b/lisa/lisa-analyses/src/main/java/it/unive/lisa/analysis/numeric/Pentagon.java index 26f682b1a..e984702e5 100644 --- a/lisa/lisa-analyses/src/main/java/it/unive/lisa/analysis/numeric/Pentagon.java +++ b/lisa/lisa-analyses/src/main/java/it/unive/lisa/analysis/numeric/Pentagon.java @@ -32,9 +32,9 @@ /** * The pentagons abstract domain, a weakly relational numeric abstract domain. - * This abstract domain captures properties of the form of x \in [a, b] - * ∧ x < y. It is more precise than the well known interval domain, but - * it is less precise than the octagon domain. It is implemented as a + * This abstract domain captures properties of the form of x \in [a, b] ∧ x + * < y. It is more precise than the well known interval domain, but it is + * less precise than the octagon domain. It is implemented as a * {@link ValueDomain}. * * @see