From 22d22d6ac6367b28e8178021f3a149a88b03410c Mon Sep 17 00:00:00 2001 From: Matthew Kosarek Date: Wed, 10 Apr 2024 09:50:27 -0400 Subject: [PATCH] bugfix: indentation was incorrect on the outputted symbols --- tools/symbols_map_generator.py | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/tools/symbols_map_generator.py b/tools/symbols_map_generator.py index 685461d922b..bd3cc636e57 100755 --- a/tools/symbols_map_generator.py +++ b/tools/symbols_map_generator.py @@ -356,11 +356,11 @@ def main(): joint_str = "\n ".join(symbols) output_str = f'''{version_str} {"{"} -global: - extern "C++" {"{"} - {joint_str} - {'};'} -local: *; + global: + extern "C++" {"{"} + {joint_str} + {'};'} + local: *; {closing_line} '''