Merge branch 'gawk-5.1-stable'

1 files changed, 1 insertions, 1 deletions

diff --git a/ext.c b/ext.c
index e5b6a2a0..30e52aae 100644
--- a/ext.c
+++ b/ext.c
@@ -128,7 +128,7 @@ make_builtin(const char *name_space, const awk_ext_func_t *funcinfo)
 			/* multiple extension() calls etc. */
 			if (do_lint)
 				lintwarn(_("make_builtin: function `%s' already defined"), name);
-			free(install_name);
+			free((void *) install_name);
 			return awk_false;
 		} else
 			/* variable name etc. */