X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Foutput%2Ftex.c;h=01a5a2816cb373669df2490b964671bf983cfdd3;hb=3b54533821614d17afc61f1cd3b87d3a06fbf4da;hp=70518285d173f2dab475c27d6e629765a3c5fde5;hpb=a06dd54ab3d37656a1edfb8ee7de859cc0baac0e;p=pspp

diff --git a/src/output/tex.c b/src/output/tex.c
index 70518285d1..01a5a2816c 100644
--- a/src/output/tex.c
+++ b/src/output/tex.c
@@ -353,10 +353,6 @@ tex_submit (struct output_driver *driver,
           shipout (&tex->token_list, "}\\par\n\n");
           break;
 
-        case TEXT_ITEM_EJECT_PAGE:
-          /* Nothing to do. */
-          break;
-
         case TEXT_ITEM_SYNTAX:
           /* So far as I'm aware, this can never happen.  */
         default: