X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=src%2Flist.q;h=952283bc7b899c8f18f94589e39aabe12c380511;hb=7b98b3a4f58f6dc5a8e9cbc188b627966d5e652d;hp=578cfe5d0abaca0c0fc4e542b97a9051b0cc1381;hpb=d1fff00503280cb951cb8d3f592776ddf3c8595a;p=pspp

diff --git a/src/list.q b/src/list.q
index 578cfe5d0a..952283bc7b 100644
--- a/src/list.q
+++ b/src/list.q
@@ -253,7 +253,7 @@ write_all_headers (void)
 	{
 	  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."),