summaryrefslogtreecommitdiff
path: root/Build/source/texk/web2c/synctexdir/synctex-e-mem.ch0
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/texk/web2c/synctexdir/synctex-e-mem.ch0')
-rw-r--r--Build/source/texk/web2c/synctexdir/synctex-e-mem.ch025
1 files changed, 12 insertions, 13 deletions
diff --git a/Build/source/texk/web2c/synctexdir/synctex-e-mem.ch0 b/Build/source/texk/web2c/synctexdir/synctex-e-mem.ch0
index 7644e0c6987..a4629bbd681 100644
--- a/Build/source/texk/web2c/synctexdir/synctex-e-mem.ch0
+++ b/Build/source/texk/web2c/synctexdir/synctex-e-mem.ch0
@@ -118,14 +118,21 @@ end
end;
@z
+@x etex.ch l.4211 - Drop unused label
+procedure just_reverse(@!p:pointer);
+label found,done;
+@y
+procedure just_reverse(@!p:pointer);
+label done;
+@z
+
@x etex.ch l.4234
found:width(t):=width(p); link(t):=q; free_node(p,small_node_size);
-done:link(temp_head):=l;
-end;
+@y
+width(t):=width(p); link(t):=q; free_node(p,small_node_size);
+@z
-@ @<Adjust \(t)the LR stack for the |j...@>=
-if end_LR(p) then
- if info(LR_ptr)<>end_LR_type(p) then
+@x etex.ch l.4241
begin type(p):=kern_node; incr(LR_problems);
end
else begin pop_LR;
@@ -144,14 +151,6 @@ else begin push_LR(p);
end;
end
@y
-found:width(t):=width(p); link(t):=q; free_node(p,small_node_size);
- {{\sl Sync\TeX}: Unused label, see below}
-done:link(temp_head):=l;
-end;
-
-@ @<Adjust \(t)the LR stack for the |j...@>=
-if end_LR(p) then
- if info(LR_ptr)<>end_LR_type(p) then
begin type(p):=kern_node; incr(LR_problems);
{{\sl Sync\TeX} node size watch point: |math_node| size == |kern_node| size}
end