summaryrefslogtreecommitdiff
path: root/Build/source/texk/web2c/cwebdir/common.w
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/texk/web2c/cwebdir/common.w')
-rw-r--r--Build/source/texk/web2c/cwebdir/common.w2
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/texk/web2c/cwebdir/common.w b/Build/source/texk/web2c/cwebdir/common.w
index 941b7206cc2..fca446c40e1 100644
--- a/Build/source/texk/web2c/cwebdir/common.w
+++ b/Build/source/texk/web2c/cwebdir/common.w
@@ -919,7 +919,7 @@ switch(section_name_cmp(&first,name_len,r)) {
err_print(">");
}
else if (name_len<prefix_length(r)) set_prefix_length(r,name_len);
- /* fall through */
+ @=/* fall through */@>
case equal: break;
case extension: if (!ispref || first<=last)
extend_section_name(r,first,last+1,ispref);