summaryrefslogtreecommitdiff
path: root/Build/source/texk/web2c/cwebdir/ctangle.w
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/texk/web2c/cwebdir/ctangle.w')
-rw-r--r--Build/source/texk/web2c/cwebdir/ctangle.w4
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 c2fc88af747..a0f7cc17d4a 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...@>
}