Apply spotless

lisa-analyzer · Jan 10, 2024 · 0495a61 · 0495a61
1 parent 0329b43
commit 0495a61
Showing 1 changed file with 3 additions and 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
@@ -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]
- * &and; x &lt; 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] &and; x
+ * &lt; 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 <a href=