diff --git a/gnu/dist/texinfo/info/echo-area.c b/gnu/dist/texinfo/info/echo-area.c
index e2bd8c02ec5b..2c787e10b491 100644
--- a/gnu/dist/texinfo/info/echo-area.c
+++ b/gnu/dist/texinfo/info/echo-area.c
@@ -1,4 +1,4 @@
-/*	$NetBSD: echo-area.c,v 1.1.1.4 2004/07/12 23:26:56 wiz Exp $	*/
+/*	$NetBSD: echo-area.c,v 1.2 2004/07/13 18:30:49 he Exp $	*/
 
 /* echo-area.c -- how to read a line in the echo area.
    Id: echo-area.c,v 1.3 2004/03/14 00:57:29 karl Exp
@@ -938,7 +938,7 @@ DECLARE_INFO_COMMAND (ea_possible_completions, _("List possible completions"))
       printf_to_message_buffer (completions_found_index == 1
                                 ? (char *) _("One completion:\n")
                                 : (char *) _("%d completions:\n"),
-				(void *) completions_found_index, NULL, NULL);
+				(void*)((intptr_t)completions_found_index), NULL, NULL);
 
       /* Find the maximum length of a label. */
       for (i = 0; i < completions_found_index; i++)
diff --git a/gnu/dist/texinfo/info/session.c b/gnu/dist/texinfo/info/session.c
index 64e9e273006c..a737dcbcd803 100644
--- a/gnu/dist/texinfo/info/session.c
+++ b/gnu/dist/texinfo/info/session.c
@@ -1,4 +1,4 @@
-/*	$NetBSD: session.c,v 1.1.1.6 2004/07/12 23:26:54 wiz Exp $	*/
+/*	$NetBSD: session.c,v 1.2 2004/07/13 18:30:49 he Exp $	*/
 
 /* session.c -- user windowing interface to Info.
    Id: session.c,v 1.11 2004/04/06 22:58:25 karl Exp
@@ -964,7 +964,7 @@ forward_move_node_structure (WINDOW *window, int behaviour)
                      same as the first menu item found in this node. */
                   window_message_in_echo_area
                     ((char *) _("Moving Up %d time(s), then Next."),
-                     (void *) up_counter, NULL);
+                     (void *)((intptr_t)up_counter), NULL);
 
                   info_handle_pointer ("Next", window);
                   return;
@@ -1977,7 +1977,7 @@ DECLARE_INFO_COMMAND (info_menu_digit, _("Select this menu item"))
     }
   else
     info_error ((char *) _("There aren't %d items in this menu."),
-        (void *) item, NULL);
+        (void *)((intptr_t)item), NULL);
 
   info_free_references (menu);
   return;