C++: Autoformat

This commit is contained in:
Jonas Jensen
2019-11-21 14:02:53 +01:00
parent 7f26f078eb
commit f98cd673fd

View File

@@ -110,6 +110,4 @@ predicate isFromMacroDefinition(Element e) {
* be used to avoid bad join orders where integers are joined too early.
*/
bindingset[x, y]
private predicate nonBindingIntEquality(int x, int y) {
x >= y and y >= x
}
private predicate nonBindingIntEquality(int x, int y) { x >= y and y >= x }