diff options
author | Andreas Scherer <andreas_tex@freenet.de> | 2020-04-30 12:29:41 +0000 |
---|---|---|
committer | Andreas Scherer <andreas_tex@freenet.de> | 2020-04-30 12:29:41 +0000 |
commit | dc0b0d289a88fd70adac83217414321fa1f85eb7 (patch) | |
tree | f78d25c50cbb728400ac82339178058ea3e8dba2 /Build/source/texk/web2c/tiedir/tie-w2c.ch | |
parent | 8d6393b302ff7262c3d55780ece054d7a2f7cc49 (diff) |
[TIE] Fix type format in section 60.
git-svn-id: svn://tug.org/texlive/trunk@54945 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/web2c/tiedir/tie-w2c.ch')
-rw-r--r-- | Build/source/texk/web2c/tiedir/tie-w2c.ch | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Build/source/texk/web2c/tiedir/tie-w2c.ch b/Build/source/texk/web2c/tiedir/tie-w2c.ch index cb27e004283..6ec242baf42 100644 --- a/Build/source/texk/web2c/tiedir/tie-w2c.ch +++ b/Build/source/texk/web2c/tiedir/tie-w2c.ch @@ -259,8 +259,12 @@ Additionally we report the history to the user, although this may not @z @x +@<Print the job |history|@>= {string msg; @y +@s const_string int + +@<Print the job |history|@>= {const_string msg; @z |