diff options
Diffstat (limited to 'Build/source/texk')
| -rw-r--r-- | Build/source/texk/web2c/cwebdir/ctangle.w | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/texk/web2c/cwebdir/ctangle.w b/Build/source/texk/web2c/cwebdir/ctangle.w index 0d242eaaea2..039f337865a 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; } } |