C++: Autoformat.

This commit is contained in:
Geoffrey White
2024-04-15 09:06:49 +01:00
parent 9302b167d8
commit 1c66e26e92

View File

@@ -518,7 +518,9 @@ private class SummarizedCallableAdapter extends SummarizedCallable {
)
}
override predicate propagatesFlow(string input, string output, boolean preservesValue, string model) {
override predicate propagatesFlow(
string input, string output, boolean preservesValue, string model
) {
exists(string kind |
this.relevantSummaryElementManual(input, output, kind)
or