diff options
Diffstat (limited to 'Build/source/texk/web2c/mf.ch')
-rw-r--r-- | Build/source/texk/web2c/mf.ch | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/Build/source/texk/web2c/mf.ch b/Build/source/texk/web2c/mf.ch index ebfe2a3d78b..435561e7450 100644 --- a/Build/source/texk/web2c/mf.ch +++ b/Build/source/texk/web2c/mf.ch @@ -2119,12 +2119,6 @@ undump_int(x);@+if (x<>69069)or eof(base_file) then goto off_base undump_int(x);@+if x<>69069 then goto off_base @z -@x [48.1200] Eliminate probably-wrong word `preloaded' from base_idents. -print(" (preloaded base="); print(job_name); print_char(" "); -@y -print(" (base="); print(job_name); print_char(" "); -@z - @x [49.1204] Dynamic allocation. @p begin @!{|start_here|} @y |