From 947385ebae240dcafe1bb70b6a3f3678459caf15 Mon Sep 17 00:00:00 2001
From: William Hua <william@attente.ca>
Date: Sun, 14 Jul 2013 18:07:05 -0400
Subject: [PATCH] Bug 704216: Fix prototype for gdk_quartz_device_core_warp.

---
 gdk/quartz/gdkdevice-core-quartz.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/gdk/quartz/gdkdevice-core-quartz.c b/gdk/quartz/gdkdevice-core-quartz.c
index b28662096d..6fc17aa7d1 100644
--- a/gdk/quartz/gdkdevice-core-quartz.c
+++ b/gdk/quartz/gdkdevice-core-quartz.c
@@ -52,8 +52,8 @@ static void gdk_quartz_device_core_set_window_cursor (GdkDevice *device,
                                                       GdkCursor *cursor);
 static void gdk_quartz_device_core_warp (GdkDevice *device,
                                          GdkScreen *screen,
-                                         gint       x,
-                                         gint       y);
+                                         gdouble    x,
+                                         gdouble    y);
 static void gdk_quartz_device_core_query_state (GdkDevice        *device,
                                                 GdkWindow        *window,
                                                 GdkWindow       **root_window,