Update python/ql/src/experimental/dataflow/internal/DataFlowPublic.qll

Co-authored-by: Taus <tausbn@github.com>
This commit is contained in:
yoff
2020-08-19 08:01:42 +02:00
committed by GitHub
parent 6dfa2ea9d5
commit 43a5e74c65

View File

@@ -181,7 +181,7 @@ class TupleElementContent extends TTupleElementContent, Content {
int getIndex() { result = index }
/** Gets a textual representation of this element. */
override string toString() { result = "Tuple element at " + index.toString() }
override string toString() { result = "Tuple element at index " + index.toString() }
}
class DictionaryElementContent extends TDictionaryElementContent, Content {