diff options
Diffstat (limited to 'devtools/tablegen.py')
-rwxr-xr-x | devtools/tablegen.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/devtools/tablegen.py b/devtools/tablegen.py index 2475f81f..f95750bb 100755 --- a/devtools/tablegen.py +++ b/devtools/tablegen.py @@ -215,7 +215,7 @@ def make_json_dumper(wfp): if i < len(names) - 1: print >>wfp, arg + "," else: - print >>wfp, arg + ";" + print >>wfp, arg + ");" print >>wfp, (baseindent + step) + "else" print >>wfp, (baseindent + step*2) + header print >>wfp, (baseindent + step*3) + '"%s",' % unscaled |