Python: Fix incomplete renaming in Thrift.qll.

This commit is contained in:
Taus Brock-Nannestad
2020-06-25 10:48:26 +02:00
parent 02363d76c1
commit 9f06e13313

View File

@@ -52,8 +52,8 @@ class ThriftElement extends ExternalData {
exists(ThriftElement first, ThriftElement last |
first = this.getChild(min(int l | exists(this.getChild(l)))) and
last = this.getChild(max(int l | exists(this.getChild(l)))) and
first.hasLocationInfo(fp, bl, bc, _, _) and
last.hasLocationInfo(fp, _, _, el, ec)
first.hasLocationInfo(filepath, startline, startcolumn, _, _) and
last.hasLocationInfo(filepath, _, _, endline, endcolumn)
)
}