diff options
Diffstat (limited to 'Build/source/texk/web2c/cwebdir/ctang-w2c.ch')
-rw-r--r-- | Build/source/texk/web2c/cwebdir/ctang-w2c.ch | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Build/source/texk/web2c/cwebdir/ctang-w2c.ch b/Build/source/texk/web2c/cwebdir/ctang-w2c.ch index ed91b9d7e5d..6d74d1997a6 100644 --- a/Build/source/texk/web2c/cwebdir/ctang-w2c.ch +++ b/Build/source/texk/web2c/cwebdir/ctang-w2c.ch @@ -319,10 +319,10 @@ case output_defs_code: if (t!=section_name) err_print(_("! Misplaced @@h")); @z @x - } @=/* otherwise fall through */@> + } @=/* otherwise fall through */@>@; default: err_print("! Double @@ should be used in limbo"); @y - } @=/* otherwise fall through */@> + } @=/* otherwise fall through */@>@; default: err_print(_("! Double @@ should be used in limbo")); @z |