On 7/24/24 1:33 PM, Jakub Jelinek wrote:
Hi!
When playing with P2963R3, while reading and/or modifying code I've fixed
various comment or code formatting issues (and in 3 spots also comment
wording), but including that in the WIP P2963R3 patch made that patch
totally unreadable because these changes were 4 times the size of the
actual code changes.
So, here it is separated to a pure formatting + comment wording patch.
Is that something we want, just parts of it, or throw away?
@@ -627,7 +626,7 @@ decompose_disjunction (formula& f, claus
branch_clause (f, c, t);
}
-/* An atomic constraint is already decomposed. */
+/* An atomic or fold expanded constraint is already decomposed. */
This hunk should be part of the P2963 patch. Everything else is OK.
Jason
