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

Co-authored-by: Rasmus Wriedt Larsen <rasmuswriedtlarsen@gmail.com>
This commit is contained in:
yoff
2020-07-03 13:33:27 +02:00
committed by GitHub
parent 59d611ddd5
commit d201eb2c12

View File

@@ -222,7 +222,7 @@ predicate compatibleTypes(DataFlowType t1, DataFlowType t2) {
DataFlowType getNodeType(Node node) { result = TStringFlow() }
/** Gets a string representation of a type returned by `getErasedRepr`. */
string ppReprType(DataFlowType t) { result = t.toString() }
string ppReprType(DataFlowType t) { none() }
//--------
// Extra flow