diff options
| -rw-r--r-- | tools/xml_helper.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/xml_helper.py b/tools/xml_helper.py index 862930e59c..db8d5ba2bb 100644 --- a/tools/xml_helper.py +++ b/tools/xml_helper.py @@ -50,6 +50,6 @@ def xml_parse(page): _deps.clear() doc = tree.parse(page, _parser) doc.xinclude() - return doc, _deps + return doc, _deps.copy() def xml_print(xml): return tree.tostring(xml, pretty_print=True, encoding='utf-8') |