Update workshop.md

MathiasVP · web-flow · commit a118ee879193 · 2020-12-11T19:08:40.000+01:00
Fix another related bug in `isSource`.
diff --git a/workshop.md b/workshop.md
@@ -161,8 +161,8 @@ Each step has a **Solution** that indicates one possible answer. Note that all q
     ```ql
     predicate isSource(Expr arg) {
       exists(FunctionCall call |
-        arg = call.getArgument(0)) and
-        call.hasGlobalOrStdName("free")
+        arg = call.getArgument(0) and
+        call.getTarget().hasGlobalOrStdName("free")
       )
     }
     ```

Original file line number	Diff line number	Diff line change
`@@ -161,8 +161,8 @@ Each step has a Solution that indicates one possible answer. Note that all q`
`161`	`161`	```ql
`162`	`162`	`predicate isSource(Expr arg) {`
`163`	`163`	`exists(FunctionCall call \|`
`164`		`- arg = call.getArgument(0)) and`
`165`		`- call.hasGlobalOrStdName("free")`
	`164`	`+ arg = call.getArgument(0) and`
	`165`	`+ call.getTarget().hasGlobalOrStdName("free")`
`166`	`166`	`)`
`167`	`167`	`}`
`168`	`168`	```