A minor improvement in a code generator.

1 files changed, 4 insertions, 0 deletions

diff --git a/devtools/tablegen.py b/devtools/tablegen.py
index e5320432..f2cdab37 100755
--- a/devtools/tablegen.py
+++ b/devtools/tablegen.py
@@ -334,6 +334,10 @@ if __name__ == '__main__':
         elif line.startswith("|="):
             keep = False
         if keep:
+            if line[0] == '|':
+                fields = line.split("|")
+                fields[1] = " " * len(fields[1])
+                line = "|".join(fields)
             table.append(line)
     table = table[2:]
     widths = []