diff options
Diffstat (limited to 'script/generate_param.py')
-rw-r--r-- | script/generate_param.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/script/generate_param.py b/script/generate_param.py index c9f18b1cdd1..2abe6ca4211 100644 --- a/script/generate_param.py +++ b/script/generate_param.py @@ -397,7 +397,7 @@ def make_param_table(path_in, path_out): file_out.write("\t\t.flags\t\t= %s,\n" % flags) file_out.write("\t},\n") - file_out.write("\n\t{NULL, P_BOOL, P_NONE, 0, NULL, NULL, 0}\n"); + file_out.write("\n\t{NULL, P_BOOL, P_NONE, 0, NULL, NULL, 0}\n") file_out.write("};\n") file_out.write("\n#endif /* %s */\n\n" % header) finally: |