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

yoff · tausbn · web-flow · commit 1c3b945e55f2 · 2020-08-19T08:01:54.000+02:00
Co-authored-by: Taus &lt;tausbn@github.com&gt;
diff --git a/python/ql/src/experimental/dataflow/internal/DataFlowPublic.qll b/python/ql/src/experimental/dataflow/internal/DataFlowPublic.qll
@@ -193,7 +193,7 @@ class DictionaryElementContent extends TDictionaryElementContent, Content {
   string getKey() { result = key }
 
   /** Gets a textual representation of this element. */
-  override string toString() { result = "Dictionary element at " + key }
+  override string toString() { result = "Dictionary element at key " + key }
 }
 
 class DictionaryElementAnyContent extends TDictionaryElementAnyContent, Content {

Original file line number	Diff line number	Diff line change
`@@ -193,7 +193,7 @@ class DictionaryElementContent extends TDictionaryElementContent, Content {`
`193`	`193`	`string getKey() { result = key }`
`194`	`194`
`195`	`195`	`/** Gets a textual representation of this element. */`
`196`		`- override string toString() { result = "Dictionary element at " + key }`
	`196`	`+ override string toString() { result = "Dictionary element at key " + key }`
`197`	`197`	`}`
`198`	`198`
`199`	`199`	`class DictionaryElementAnyContent extends TDictionaryElementAnyContent, Content {`