From ed613d7d490be91f7f164ff98e09d9098de64d6e Mon Sep 17 00:00:00 2001 From: Axel Heider Date: Tue, 19 Dec 2023 17:49:22 +0100 Subject: [PATCH] python: remove unused template parameter Since commit cf8be663 this is no longer needed. Signed-off-by: Axel Heider --- tools/invocation_header_gen.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/invocation_header_gen.py b/tools/invocation_header_gen.py index 88a0d129b..5bb698041 100755 --- a/tools/invocation_header_gen.py +++ b/tools/invocation_header_gen.py @@ -178,7 +178,7 @@ def generate(args, invocations): template = Environment(loader=BaseLoader).from_string(INVOCATION_TEMPLATE) data = template.render({'header_title': header_title, 'libsel4': args.libsel4, - 'invocations': invocations, 'num_invocations': len(invocations)}) + 'invocations': invocations}) args.dest.write(data) args.dest.close()