From 0495a61488fe8812437267b13c51824a8f90006a Mon Sep 17 00:00:00 2001 From: VincenzoArceri Date: Wed, 10 Jan 2024 15:20:32 +0100 Subject: [PATCH] Apply spotless --- .../main/java/it/unive/lisa/analysis/numeric/Pentagon.java | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) 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