diff options
Diffstat (limited to 'Build/source/texk/web2c/alephdir/comsrcspec.ch')
-rw-r--r-- | Build/source/texk/web2c/alephdir/comsrcspec.ch | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/texk/web2c/alephdir/comsrcspec.ch b/Build/source/texk/web2c/alephdir/comsrcspec.ch index 6569431c1c5..97583491f57 100644 --- a/Build/source/texk/web2c/alephdir/comsrcspec.ch +++ b/Build/source/texk/web2c/alephdir/comsrcspec.ch @@ -107,7 +107,7 @@ if shellenabledp then begin wlog('restricted '); end; wlog('\write18 enabled.') -end; + end; if src_specials_p then begin wlog_cr; wlog(' Source specials enabled.') |