diff options
Diffstat (limited to 'Build/source/texk/web2c/cwebdir/ctangle.w')
-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 c8ec64de25e..006e3e61993 100644 --- a/Build/source/texk/web2c/cwebdir/ctangle.w +++ b/Build/source/texk/web2c/cwebdir/ctangle.w @@ -1493,8 +1493,8 @@ skip_limbo(void) while (*loc!='@@') loc++; if (loc++<=limit) { char c=*loc++; - if (ccode[(eight_bits)c]==new_section) break; switch (ccode[(eight_bits)c]) { + case new_section: return; case translit_code: @<Read in transliteration of a character@>@; break; case format_code: case '@@': break; case control_text: if (c=='q' || c=='Q') { |