hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-30 19:26:02 +02:00
Code Issues Packages Projects Releases Wiki Activity

Python: Update example in QLDoc for TypeTracker

Browse Source
This commit is contained in:
Rasmus Wriedt Larsen
2020-09-21 13:55:48 +02:00
parent 54c35748f0
commit 2551173156
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
python/ql/src/experimental/dataflow/TypeTracker.qll
View File

@@ -154,7 +154,7 @@ private newtype TTypeTracker = MkTypeTracker(Boolean hasCall, OptionalAttributeN
* t.start() and
* result = < source of myType >
* or
* exists (TypeTracker t2 |
* exists (DataFlow::TypeTracker t2 |
* result = myType(t2).track(t2, t)
* )
* }