summaryrefslogtreecommitdiff
path: root/Build/source/texk/web2c/cwebdir
diff options
context:
space:
mode:
authorAndreas Scherer <andreas_tex@freenet.de>2023-07-13 22:26:08 +0000
committerAndreas Scherer <andreas_tex@freenet.de>2023-07-13 22:26:08 +0000
commitf6ce9086ac128a4aa91f487348c662f76541b4f6 (patch)
tree017e2753337787f824c2fd39c151669e8f6c6d33 /Build/source/texk/web2c/cwebdir
parent2bcbfd3d0443b747eaa470cd75e5095abcbadf00 (diff)
[CWEB] Relax page 107 of ctwill.pdf after recent deletions.
git-svn-id: svn://tug.org/texlive/trunk@67623 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/web2c/cwebdir')
-rw-r--r--Build/source/texk/web2c/cwebdir/ctwill-mini.ch4
1 files changed, 4 insertions, 0 deletions
diff --git a/Build/source/texk/web2c/cwebdir/ctwill-mini.ch b/Build/source/texk/web2c/cwebdir/ctwill-mini.ch
index 5cd5924ee5e..a35ccd6f9a6 100644
--- a/Build/source/texk/web2c/cwebdir/ctwill-mini.ch
+++ b/Build/source/texk/web2c/cwebdir/ctwill-mini.ch
@@ -1592,9 +1592,13 @@ Section 224.
Section 227.
@x
+@ @c
+static void
push_level( /* suspends the current level */
text_pointer p)
@y
+@r @ @c
+static void
push_level( /* suspends the current level */
text_pointer p)
@-push_level@>