diff options
| -rw-r--r-- | generator/generator_python.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generator/generator_python.ml b/generator/generator_python.ml index 4ffc4782..57220a06 100644 --- a/generator/generator_python.ml +++ b/generator/generator_python.ml @@ -447,7 +447,7 @@ free_strings (char **argv) | OBool _ | OInt _ | OInt64 _ | OString _ -> () | OStringList n -> pr " if (py_%s != Py_None)\n" n; - pr " free (optargs_s.%s);\n" n + pr " free ((char **) optargs_s.%s);\n" n ) optargs; (match errcode_of_ret ret with |