summaryrefslogtreecommitdiff
path: root/Build/source/texk/web2c/mft.ch
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/texk/web2c/mft.ch')
-rw-r--r--Build/source/texk/web2c/mft.ch2
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/texk/web2c/mft.ch b/Build/source/texk/web2c/mft.ch
index ed18c7391f9..8213bd31543 100644
--- a/Build/source/texk/web2c/mft.ch
+++ b/Build/source/texk/web2c/mft.ch
@@ -226,7 +226,7 @@ and exits back to the operating system.
@<Error handling...@>=
procedure jump_out;
begin
-@t\4\4@>{here files should be closed if the operating system requires it}
+{here files should be closed if the operating system requires it}
@<Print the job |history|@>;
new_line;
if (history <> spotless) and (history <> harmless_message) then