diff options
| author | Andreas Scherer <andreas_tex@freenet.de> | 2024-06-12 08:40:17 +0000 |
|---|---|---|
| committer | Andreas Scherer <andreas_tex@freenet.de> | 2024-06-12 08:40:17 +0000 |
| commit | 2c812f2737a1cdea3cfbb803e8bc6741a7281f85 (patch) | |
| tree | 49f86a9b2a613541a1e946ff23b8874683715ebe /Build/source/texk | |
| parent | 17747df2c7f60221a339c44453f3e002c0c5b198 (diff) | |
[HiTeX] Make use of unused section.
git-svn-id: svn://tug.org/texlive/trunk@71494 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk')
| -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@>= |