From 72425f1874ea6ea33506c51950cfb5ae997f0427 Mon Sep 17 00:00:00 2001 From: Axel Kohlmeyer Date: Wed, 16 Mar 2022 12:55:53 -0400 Subject: [PATCH] add '#' to make the list of headers a comment --- tools/python/pizza/log.py | 1 + 1 file changed, 1 insertion(+) 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=" ")