diff --git a/tools/python/pizza/log.py b/tools/python/pizza/log.py index e8e5db9157..d967b4a33a 100644 --- a/tools/python/pizza/log.py +++ b/tools/python/pizza/log.py @@ -176,6 +176,7 @@ class log: # write col names from dict in the right order if writenames: + print("# ", file=f, end="") colnames = [k for j in colmap for k,v in self.ptr.items() if v == j] for j in range(len(colnames)): print(colnames[j], file=f, end=" ")