diff options
-rw-r--r-- | Build/source/texk/web2c/showstream.ch | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/Build/source/texk/web2c/showstream.ch b/Build/source/texk/web2c/showstream.ch index cef436e78fd..17a6a70e401 100644 --- a/Build/source/texk/web2c/showstream.ch +++ b/Build/source/texk/web2c/showstream.ch @@ -72,7 +72,7 @@ show_lists_code: begin begin_diagnostic; show_activities; end; @y show_lists_code: - begin @<Adjust |selector| based on |show_stream|@> + begin @<Adjust |selector| based on |show_stream|@>@; begin_diagnostic; show_activities; end; @z @@ -134,7 +134,7 @@ begin get_token; @y @ @<Show the current meaning of a token...@>= begin get_token; - @<Adjust |selector| based on |show_stream|@> + @<Adjust |selector| based on |show_stream|@>@; @z @x @@ -143,7 +143,7 @@ begin scan_register_num; fetch_box(p); begin_diagnostic; @y @ @<Show the current contents of a box@>= begin scan_register_num; fetch_box(p); -@<Adjust |selector| based on |show_stream|@> +@<Adjust |selector| based on |show_stream|@>@; begin_diagnostic; @z @@ -153,20 +153,20 @@ begin p:=the_toks; @y @ @<Show the current value of some parameter...@>= begin p:=the_toks; -@<Adjust |selector| based on |show_stream|@> +@<Adjust |selector| based on |show_stream|@>@; @z @x show_groups: begin begin_diagnostic; show_save_groups; @y -show_groups: begin @<Adjust |selector| based on |show_stream|@> +show_groups: begin @<Adjust |selector| based on |show_stream|@>@; begin_diagnostic; show_save_groups; @z @x show_ifs: begin begin_diagnostic; print_nl(""); print_ln; @y -show_ifs: begin @<Adjust |selector| based on |show_stream|@> +show_ifs: begin @<Adjust |selector| based on |show_stream|@>@; begin_diagnostic; print_nl(""); print_ln; @z |