Python: Fix formatting

yoff · yoff · commit 839cd829ce1d · 2020-09-14T18:48:55.000+02:00
diff --git a/python/ql/src/experimental/dataflow/internal/DataFlowPublic.qll b/python/ql/src/experimental/dataflow/internal/DataFlowPublic.qll
@@ -158,9 +158,7 @@ class GuardNode extends ControlFlowNode {
   GuardNode() { this = conditionBlock.getLastNode() }
 
   /** Holds if this guard controls block `b` upon evaluating to `branch`. */
-  predicate controlsBlock(BasicBlock b, boolean branch) {
-    conditionBlock.controls(b, branch)
-  }
+  predicate controlsBlock(BasicBlock b, boolean branch) { conditionBlock.controls(b, branch) }
 }
 
 /**

Original file line number	Diff line number	Diff line change
`@@ -158,9 +158,7 @@ class GuardNode extends ControlFlowNode {`
`158`	`158`	`GuardNode() { this = conditionBlock.getLastNode() }`
`159`	`159`
`160`	`160`	/** Holds if this guard controls block `b` upon evaluating to `branch`. */
`161`		`- predicate controlsBlock(BasicBlock b, boolean branch) {`
`162`		`- conditionBlock.controls(b, branch)`
`163`		`- }`
	`161`	`+ predicate controlsBlock(BasicBlock b, boolean branch) { conditionBlock.controls(b, branch) }`
`164`	`162`	`}`
`165`	`163`
`166`	`164`	`/**`