From f806528a309d62f836d39ad9cc703e7592c9f68b Mon Sep 17 00:00:00 2001
From: Simon Tatham <anakin@pobox.com>
Date: Sat, 29 Nov 2014 10:39:00 +0000
Subject: [PATCH] Remove another erroneous GINT_TO_POINTER.

This one shouldn't have been there at all - it had a pointer argument
already, not an int.
---
 gtk.c | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/gtk.c b/gtk.c
index 13d694a..01b5ee4 100644
--- 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);