@@ -91,7 +91,7 @@ private predicate fileLocalFlowStep(DataFlow::Node nodeFrom, DataFlow::Node node
 }
 
 /** Holds if data flows from `source` to `sink`, including file wrapper classes. */
-private predicate fileLocalFlow(FileOpen source, DataFlow::Node sink) {
+private predicate fileLocalFlow(DataFlow::Node source, DataFlow::Node sink) {
   fileLocalFlowStep*(source, sink)
 }
Original file line number	Diff line number	Diff line change
`@@ -91,7 +91,7 @@ private predicate fileLocalFlowStep(DataFlow::Node nodeFrom, DataFlow::Node node`
`91`	`91`	`}`
`92`	`92`
`93`	`93`	/** Holds if data flows from `source` to `sink`, including file wrapper classes. */
`94`		`-private predicate fileLocalFlow(FileOpen source, DataFlow::Node sink) {`
	`94`	`+private predicate fileLocalFlow(DataFlow::Node source, DataFlow::Node sink) {`
`95`	`95`	`fileLocalFlowStep*(source, sink)`
`96`	`96`	`}`
`97`	`97`