X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Foutput%2Fdriver.c;h=81ef6690e5bcf3de7f88fcab4325ed4b3eeb0f69;hb=256fe9e0bd31c0623cd9c439d7e6a9a04e9ef038;hp=6f72ffe739aca687e07bfbd1bb4a92be5c1fd92d;hpb=61048d83fca0063d3205ccabe0c610346fca905b;p=pspp

diff --git a/src/output/driver.c b/src/output/driver.c
index 6f72ffe739..81ef6690e5 100644
--- a/src/output/driver.c
+++ b/src/output/driver.c
@@ -159,6 +159,9 @@ output_submit (struct output_item *item)
 {
   struct output_engine *e = engine_stack_top ();
 
+  if (item == NULL)
+    return;
+
   if (is_syntax_item (item))
     {
       ds_put_cstr (&e->deferred_syntax, text_item_get_text (to_text_item (item)));