1 files changed, 1 insertions, 1 deletions
diff --git a/gdb/core.c b/gdb/core.c
index 72fb5fe..6adf246 100644
--- a/gdb/core.c
+++ b/gdb/core.c
@@ -83,7 +83,7 @@ core_close (quitting)
     CLEAR_SOLIB ();
 #endif
     if (core_ops.to_sections) {
-      free (core_ops.to_sections);
+      free ((PTR)core_ops.to_sections);
       core_ops.to_sections = NULL;
       core_ops.to_sections_end = NULL;
     }