From e990e80c266db84e5c9e4198e44307958a9cd19c Mon Sep 17 00:00:00 2001
From: "Richard W.M. Jones" <rjones@redhat.com>
Date: Wed, 15 Aug 2012 12:14:06 +0100
Subject: python: Before freeing OStringList, cast it to char ** to avoid a
 compiler warning.

This fixes commit c1a269513c05b44af0ed6e6b7b48f5dd11e01060.
---
 generator/generator_python.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
-- 
cgit