diff options
Diffstat (limited to 'Build/source/texk/web2c/tex.ch')
-rw-r--r-- | Build/source/texk/web2c/tex.ch | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/Build/source/texk/web2c/tex.ch b/Build/source/texk/web2c/tex.ch index 3657ad227cd..53549255cb4 100644 --- a/Build/source/texk/web2c/tex.ch +++ b/Build/source/texk/web2c/tex.ch @@ -4033,13 +4033,6 @@ if (x<>69069)or eof(fmt_file) then goto bad_fmt if x<>69069 then goto bad_fmt @z -% Eliminate probably wrong word `preloaded' from format_idents. -@x [50.1328] l.24124 -print(" (preloaded format="); print(job_name); print_char(" "); -@y -print(" (format="); print(job_name); print_char(" "); -@z - @x [51.1332] l.24203 - make the main program a procedure, for eqtb hack. @p begin @!{|start_here|} @y |