diff --git a/c_util b/c_util index d8c571d1..e48c83f9 100755 --- a/c_util +++ b/c_util @@ -647,6 +647,9 @@ def main(): print() first_file = False + # Print filename header + print(f"{f}:") + # Print in new format for start, end, text in declarations: print(f"[{start + 1}-{end + 1}] {text}")