Tweak comment.
authorDavid Edelsohn <dje.gcc@gmail.com>
Thu, 17 Apr 1997 13:46:50 +0000 (13:46 +0000)
committerDavid Edelsohn <dje.gcc@gmail.com>
Thu, 17 Apr 1997 13:46:50 +0000 (13:46 +0000)
include/callback.h

index b2a7fe247d9843d637b94bbf7897a926860b523f..0d689cbc5d48e314524c95f32fd150acf9a06fec 100644 (file)
@@ -60,8 +60,7 @@ struct host_callback_struct
   /* depreciated, use vprintf_filtered - Talk to the user on a console.  */
   void (*printf_filtered) PARAMS ((host_callback *, const char *, ...));
 
-  /* Talk to the user on a console.
-     The `void *' is actually `va_list *'.  */
+  /* Talk to the user on a console.  */
   void (*vprintf_filtered) PARAMS ((host_callback *, const char *, va_list));
 
   /* Same as vprintf_filtered but to stderr.  */