diff --git a/cde/programs/dtappbuilder/src/ab/prop.c b/cde/programs/dtappbuilder/src/ab/prop.c
index 86ec99555..52eeef1a3 100644
--- a/cde/programs/dtappbuilder/src/ab/prop.c
+++ b/cde/programs/dtappbuilder/src/ab/prop.c
@@ -678,7 +678,7 @@ prop_checkbox_init(
     Widget		checkbox,
     int			num_items,
     WidgetList		items,
-    int			*item_keys,
+    XtArgVal		*item_keys,
     Widget		changebar
 )
 {
@@ -693,7 +693,7 @@ prop_checkbox_init(
 
     for (i=0; i < num_items; i++)
     {
-	XtVaSetValues(items[i], XmNuserData, (XtArgVal)item_keys[i], NULL);
+	XtVaSetValues(items[i], XmNuserData, item_keys[i], NULL);
         XtAddCallback(items[i], XmNvalueChangedCallback,
                         propP_setting_chgCB, (XtPointer)changebar);
     }
@@ -1060,7 +1060,7 @@ prop_footer_init(
     Widget		checkbox,
     int			num_items,
     WidgetList		items,
-    int			*item_keys,
+    XtArgVal		*item_keys,
     Widget              field,
     Widget              changebar
 )
@@ -1082,7 +1082,7 @@ prop_footer_init(
 
     for (i=0; i < num_items; i++)
     {
-        XtVaSetValues(items[i], XmNuserData, (XtArgVal)item_keys[i], NULL);
+        XtVaSetValues(items[i], XmNuserData, item_keys[i], NULL);
         XtAddCallback(items[i], XmNvalueChangedCallback,
                         propP_setting_chgCB, (XtPointer)changebar);
     }
diff --git a/cde/programs/dtappbuilder/src/ab/prop.h b/cde/programs/dtappbuilder/src/ab/prop.h
index e237d1388..80084ef29 100644
--- a/cde/programs/dtappbuilder/src/ab/prop.h
+++ b/cde/programs/dtappbuilder/src/ab/prop.h
@@ -292,7 +292,7 @@ extern void	prop_checkbox_init(
 		    Widget		checkbox,
 		    int			num_items,
 		    WidgetList		items,
-		    int			*item_keys,
+		    XtArgVal		*item_keys,
 		    Widget		changebar
 		);
 extern BOOL	prop_checkbox_get_value(
@@ -391,7 +391,7 @@ extern void	prop_footer_init(
     		    Widget              checkbox,
 		    int		        num_items,
 		    WidgetList		items,
-		    int		       *item_keys,
+		    XtArgVal		*item_keys,
 		    Widget	        field,
 		    Widget		changebar
 		);