diff --git a/Xprint/ddxInit.c b/Xprint/ddxInit.c
index 844cba1c2..29e7c9814 100644
--- a/Xprint/ddxInit.c
+++ b/Xprint/ddxInit.c
@@ -177,7 +177,7 @@ InitInput(
      int       argc,
      char **argv)
 {
-    DevicePtr ptr, kbd;
+    DeviceIntPtr ptr, kbd;
 
     ptr = AddInputDevice((DeviceProc)PointerProc, TRUE);
     kbd = AddInputDevice((DeviceProc)KeyboardProc, TRUE);