summaryrefslogtreecommitdiff
path: root/Build/source/texk/web2c/dvicopy.ch
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/texk/web2c/dvicopy.ch')
-rw-r--r--Build/source/texk/web2c/dvicopy.ch6
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);