diff options
Diffstat (limited to 'Build/source/texk/web2c/cwebdir/ctangle.w')
-rw-r--r-- | Build/source/texk/web2c/cwebdir/ctangle.w | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Build/source/texk/web2c/cwebdir/ctangle.w b/Build/source/texk/web2c/cwebdir/ctangle.w index a0f7cc17d4a..0d242eaaea2 100644 --- a/Build/source/texk/web2c/cwebdir/ctangle.w +++ b/Build/source/texk/web2c/cwebdir/ctangle.w @@ -666,7 +666,7 @@ restart: else out_state=verbatim; break; case '/': C_putc('/'); out_state=post_slash; break; case '*': if (out_state==post_slash) C_putc(' '); - @=/* fall through */@> + @=/* fall through */@>@;@; default: C_putc(cur_char); out_state=normal; break; } } @@ -1510,7 +1510,7 @@ skip_limbo(void) err_print("! Double @@ should be used in control text"); @.Double @@ should be used...@> break; - } @=/* otherwise fall through */@> + } @=/* otherwise fall through */@>@; default: err_print("! Double @@ should be used in limbo"); @.Double @@ should be used...@> } |