From 9148d6ef1b3693aded62c66334f2427d10e1067a Mon Sep 17 00:00:00 2001 From: Balthasar Reuter Date: Fri, 30 Jun 2023 20:38:48 +0100 Subject: [PATCH] Fix type for Import.rename_list --- loki/frontend/regex.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/loki/frontend/regex.py b/loki/frontend/regex.py index 89bab6d16..888cbaa8e 100644 --- a/loki/frontend/regex.py +++ b/loki/frontend/regex.py @@ -881,7 +881,7 @@ def match(self, reader, parser_classes, scope): symbols = None return ir.Import( - module, symbols=as_tuple(symbols), rename_list=rename_list, + module, symbols=as_tuple(symbols), rename_list=as_tuple(rename_list), source=reader.source_from_current_line() )