fix pretty-printing of number literals

erik-krogh · erik-krogh · commit 2a5dd2c8a396 · 2020-10-15T13:04:52.000+02:00
diff --git a/python/ql/src/semmle/python/PrintAst.qll b/python/ql/src/semmle/python/PrintAst.qll
@@ -550,7 +550,7 @@ private module PrettyPrinting {
       or
       a instanceof Ellipsis and result = "..."
       or
-      result = a.(Num).toString()
+      result = a.(Num).getText()
       or
       result = a.(NegativeIntegerLiteral).getValue().toString()
       or
