Remove another erroneous GINT_TO_POINTER.

This one shouldn't have been there at all - it had a pointer argument
already, not an int.

diff --git a/gtk.c b/gtk.c
index 13d694aa2da489057d4cdd18463e84c226ffaf8c..01b5ee45072d1b9ee984263b71271debab8da745 100644 (file)
--- a/gtk.c
+++ b/gtk.c
@@ -1336,8 +1336,7 @@ int message_box(GtkWidget *parent, char *title, char *msg, int centre,
        titles += strlen(titles)+1;
        i++;
     }
-    gtk_object_set_data(GTK_OBJECT(window), "user-data",
-                       GINT_TO_POINTER(&i));
+    gtk_object_set_data(GTK_OBJECT(window), "user-data", &i);
     gtk_signal_connect(GTK_OBJECT(window), "destroy",
                        GTK_SIGNAL_FUNC(window_destroy), NULL);
     gtk_window_set_modal(GTK_WINDOW(window), TRUE);