Change JSON-dumper code generation to match my previous commit.

1 files changed, 5 insertions, 1 deletions

diff --git a/devtools/tablegen.py b/devtools/tablegen.py
index 11658188..cdad2633 100755
--- a/devtools/tablegen.py
+++ b/devtools/tablegen.py
@@ -213,6 +213,7 @@ def make_json_dumper(wfp):
             if ftype == 'x' or not record:
                 continue
             fmt = r'\"%s\":' % name
+            fmt_text = r'\"%s_text\":' % name
             if ftype == 'u':
                 tuples.append((name,
                                fmt+"%u", "%s",
@@ -220,7 +221,10 @@ def make_json_dumper(wfp):
             elif ftype == 'e':
                 tuples.append((name,
                                fmt+"%u", "%s",
-                               fmt+r"\"%s\"", 'FOO[%s]'))
+                               None, None))
+                tuples.append((name,
+                               fmt_text+r"\"%s\"", 'FOO[%s]',
+                               None, None))
             elif ftype == 'i':
                 tuples.append((name,
                                fmt+"%d", "%s",