diff options
Diffstat (limited to 'Build/source/texk/web2c/dvicopy.ch')
-rw-r--r-- | Build/source/texk/web2c/dvicopy.ch | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/Build/source/texk/web2c/dvicopy.ch b/Build/source/texk/web2c/dvicopy.ch index 838402b6400..1b14c54b760 100644 --- a/Build/source/texk/web2c/dvicopy.ch +++ b/Build/source/texk/web2c/dvicopy.ch @@ -156,6 +156,7 @@ begin mark_fatal; close_files_and_terminate; goto final_end; end; @y +@f noreturn==procedure @d abort(#)==begin write_ln(stderr, ' ',#,'.'); jump_out; end @@ -170,6 +171,11 @@ end; @z @x [24] Declare confusion as noreturn +says |confusion(|indication of where we are|)|. +@y +says |confusion|(indication of where we are). +@z +@x procedure confusion(@!p:pckt_pointer); @y noreturn procedure confusion(@!p:pckt_pointer); |