Fix formatting of file.

criemen · criemen · commit 37f162106a29 · 2019-11-25T17:04:38.000+01:00
diff --git a/java/ql/src/semmle/code/java/dataflow/Nullness.qll b/java/ql/src/semmle/code/java/dataflow/Nullness.qll
@@ -522,7 +522,7 @@ private predicate correlatedConditions(
       inverted = false
     )
     or
-    exists(SsaVariable v1, SsaVariable v2, boolean branch1, boolean branch2  |
+    exists(SsaVariable v1, SsaVariable v2, boolean branch1, boolean branch2 |
       cond1.getCondition() = varEqualityTestExpr(v1, v2, branch1) and
       cond2.getCondition() = varEqualityTestExpr(v1, v2, branch2) and
       inverted = branch1.booleanXor(branch2)

Original file line number	Diff line number	Diff line change
`@@ -522,7 +522,7 @@ private predicate correlatedConditions(`
`522`	`522`	`inverted = false`
`523`	`523`	`)`
`524`	`524`	`or`
`525`		`- exists(SsaVariable v1, SsaVariable v2, boolean branch1, boolean branch2 \|`
	`525`	`+ exists(SsaVariable v1, SsaVariable v2, boolean branch1, boolean branch2 \|`
`526`	`526`	`cond1.getCondition() = varEqualityTestExpr(v1, v2, branch1) and`
`527`	`527`	`cond2.getCondition() = varEqualityTestExpr(v1, v2, branch2) and`
`528`	`528`	`inverted = branch1.booleanXor(branch2)`