Merge pull request #2 from MathiasVP/patch-1

adityasharad · web-flow · commit b4771d6b5486 · 2020-12-11T10:10:43.000-08:00
Update workshop.md
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`	```