diff options
| -rw-r--r-- | Build/source/texk/web2c/hitexdir/hitex.w | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/texk/web2c/hitexdir/hitex.w b/Build/source/texk/web2c/hitexdir/hitex.w index c08f2cfb6f6..51f024bbfa1 100644 --- a/Build/source/texk/web2c/hitexdir/hitex.w +++ b/Build/source/texk/web2c/hitexdir/hitex.w @@ -13346,7 +13346,7 @@ ready for the |ship_out| routine that gets them started in the first place. @p static void ship_out(pointer @!p) /*output the box |p|*/ {@+ execute_output(p); -flush_node_list(p); +@<Flush the box from memory...@>@; } @ @<Flush the box from memory, showing statistics if requested@>= |