diff --git a/scripts/diff_all_functions.py b/scripts/diff_all_functions.py index d3ae10a8..590a28da 100755 --- a/scripts/diff_all_functions.py +++ b/scripts/diff_all_functions.py @@ -66,13 +66,13 @@ def main(): print("") print("") + id = val["name"].lower().replace(":", "__") print(f'

{val["name"]}

') print("") if "error" in val: print("Failed to generate diff:") print(val["error"]) elif val["ratio"] != 1: - id = val["name"].lower().replace(":", "__") print("```diff") print(val["diff"]) print("```")