static void write_line (struct outp_driver *d, char *s);
/* Other functions. */
-static int list_cases (struct ccase *);
+static int list_cases (struct ccase *, void *);
static void determine_layout (void);
static void clean_up (void);
static void write_header (struct outp_driver *);
-static void write_all_headers (void);
+static void write_all_headers (void *);
/* Returns the number of text lines that can fit on the remainder of
the page. */
determine_layout ();
case_num = 0;
- procedure (write_all_headers, list_cases, NULL);
+ procedure (write_all_headers, list_cases, NULL, NULL);
free (line_buf);
clean_up ();
/* Writes headers to all devices. This is done at the beginning of
each SPLIT FILE group. */
static void
-write_all_headers (void)
+write_all_headers (void *aux UNUSED)
{
struct outp_driver *d;
{
struct html_driver_ext *x = d->ext;
- assert (d->driver_open && d->page_open);
+ assert (d->driver_open);
if (x->sequence_no == 0 && !d->class->open_page (d))
{
msg (ME, _("Cannot open first page on HTML device %s."),
}
static int
-list_cases (struct ccase *c)
+list_cases (struct ccase *c, void *aux UNUSED)
{
struct outp_driver *d;