/* For a dissector table, print on the stream described by output, its short name (which is what's used in the "-d" option) and its descriptive name.  */
static void display_dissector_table_names(const char *table_name, const char *ui_name, gpointer output)
/* For a dissector table, print on the stream described by output, its short name (which is what's used in the "-d" option) and its descriptive name.  */
static void display_dissector_table_names(const char *table_name, const char *ui_name, gpointer output)
{
  fprintf((FILE *)output, "\t%s (%s)\n", table_name, ui_name);
}