Python: avoid selecting getLocation() in py/truncated-division

2026-04-27 01:35:13 +02:00 · 2023-06-05 11:14:43 +01:00
parent c67a350e36
commit 02395867c8
2 changed files with 3 additions and 3 deletions
--- a/python/ql/src/Expressions/TruncatedDivision.ql
+++ b/python/ql/src/Expressions/TruncatedDivision.ql
@@ -34,4 +34,4 @@ where
    )
  )
 select div, "Result of division may be truncated as its $@ and $@ arguments may both be integers.",
-  left.getLocation(), "left", right.getLocation(), "right"
+  left, "left", right, "right"