From ed3ffde5e6b21087eecd113a0bca3f8c021c8697 Mon Sep 17 00:00:00 2001 From: Rasmus Lerchedahl Petersen Date: Mon, 11 Sep 2023 12:57:44 +0200 Subject: [PATCH] Python: modules are now possibly non-unique We should consider if this is the right way.. --- .../lib/semmle/python/dataflow/new/internal/DataFlowPublic.qll | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/python/ql/lib/semmle/python/dataflow/new/internal/DataFlowPublic.qll b/python/ql/lib/semmle/python/dataflow/new/internal/DataFlowPublic.qll index 49cf972ab04..a0414eba817 100644 --- a/python/ql/lib/semmle/python/dataflow/new/internal/DataFlowPublic.qll +++ b/python/ql/lib/semmle/python/dataflow/new/internal/DataFlowPublic.qll @@ -400,7 +400,7 @@ class ModuleVariableNode extends Node, TModuleVariableNode { override Scope getScope() { result = mod } override string toString() { - result = "ModuleVariableNode in " + mod.toString() + " for " + var.getId() + result = "ModuleVariableNode in " + concat( | | mod.toString(), ",") + " for " + var.getId() } /** Gets the module in which this variable appears. */