Skip to content

Commit 0509a12

Browse files
authored
Merge pull request github#5770 from tausbn/python-small-api-graph-fix
Python: Use only `TApiNode` in `API::Impl`
2 parents afa8925 + 3889c8a commit 0509a12

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

python/ql/src/semmle/python/ApiGraphs.qll

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -452,7 +452,7 @@ module API {
452452
* Holds if there is an edge from `pred` to `succ` in the API graph that is labeled with `lbl`.
453453
*/
454454
cached
455-
predicate edge(Node pred, string lbl, Node succ) {
455+
predicate edge(TApiNode pred, string lbl, TApiNode succ) {
456456
/* There's an edge from the root node for each imported module. */
457457
exists(string m |
458458
pred = MkRoot() and

0 commit comments

Comments
 (0)