Revert accidental file change

redsun82 · redsun82 · commit 239ec74c3a5a · 2022-09-21T12:16:57.000+02:00
diff --git a/csharp/ql/lib/semmle/code/csharp/controlflow/internal/ControlFlowGraphImplShared.qll b/csharp/ql/lib/semmle/code/csharp/controlflow/internal/ControlFlowGraphImplShared.qll
@@ -52,7 +52,7 @@ predicate last(ControlFlowTree cft, ControlFlowElement last, Completion c) {
  */
 pragma[nomagic]
 predicate succ(ControlFlowElement pred, ControlFlowElement succ, Completion c) {
-  exists(ControlFlowTree cft | cft.succ(pred, succ, c))
+  any(ControlFlowTree cft).succ(pred, succ, c)
 }
 
 /** An element that is executed in pre-order. */
diff --git a/ruby/ql/lib/codeql/ruby/controlflow/internal/ControlFlowGraphImplShared.qll b/ruby/ql/lib/codeql/ruby/controlflow/internal/ControlFlowGraphImplShared.qll
@@ -52,7 +52,7 @@ predicate last(ControlFlowTree cft, ControlFlowElement last, Completion c) {
  */
 pragma[nomagic]
 predicate succ(ControlFlowElement pred, ControlFlowElement succ, Completion c) {
-  exists(ControlFlowTree cft | cft.succ(pred, succ, c))
+  any(ControlFlowTree cft).succ(pred, succ, c)
 }
 
 /** An element that is executed in pre-order. */
diff --git a/swift/ql/lib/codeql/swift/controlflow/internal/ControlFlowGraphImplShared.qll b/swift/ql/lib/codeql/swift/controlflow/internal/ControlFlowGraphImplShared.qll
@@ -52,7 +52,7 @@ predicate last(ControlFlowTree cft, ControlFlowElement last, Completion c) {
  */
 pragma[nomagic]
 predicate succ(ControlFlowElement pred, ControlFlowElement succ, Completion c) {
-  exists(ControlFlowTree cft | cft.succ(pred, succ, c))
+  any(ControlFlowTree cft).succ(pred, succ, c)
 }
 
 /** An element that is executed in pre-order. */

Original file line number	Diff line number	Diff line change
`@@ -52,7 +52,7 @@ predicate last(ControlFlowTree cft, ControlFlowElement last, Completion c) {`
`52`	`52`	`*/`
`53`	`53`	`pragma[nomagic]`
`54`	`54`	`predicate succ(ControlFlowElement pred, ControlFlowElement succ, Completion c) {`
`55`		`- exists(ControlFlowTree cft \| cft.succ(pred, succ, c))`
	`55`	`+ any(ControlFlowTree cft).succ(pred, succ, c)`
`56`	`56`	`}`
`57`	`57`
`58`	`58`	`/** An element that is executed in pre-order. */`