From fd6486a0483de3175c67bdd84576eb5f4f406be7 Mon Sep 17 00:00:00 2001 From: Arjun Suresh Date: Tue, 4 Apr 2023 17:57:04 +0100 Subject: [PATCH] Fixes #1352 (#1353) --- tools/submission/generate_final_report.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/submission/generate_final_report.py b/tools/submission/generate_final_report.py index 96535aa9d8..f4ae4eeb02 100644 --- a/tools/submission/generate_final_report.py +++ b/tools/submission/generate_final_report.py @@ -224,7 +224,7 @@ def MakeUniqueID(x): bg_format, }) - writer.save() + writer.close() return 0