diff options
Diffstat (limited to 'Build/source/texk/web2c/synctexdir/synctex-rec.ch0')
| -rw-r--r-- | Build/source/texk/web2c/synctexdir/synctex-rec.ch0 | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Build/source/texk/web2c/synctexdir/synctex-rec.ch0 b/Build/source/texk/web2c/synctexdir/synctex-rec.ch0 index c2730fab349..56f8ec0abd6 100644 --- a/Build/source/texk/web2c/synctexdir/synctex-rec.ch0 +++ b/Build/source/texk/web2c/synctexdir/synctex-rec.ch0 @@ -407,8 +407,8 @@ sync_tag(r+box_node_size):=sync_tag(p+box_node_size); sync_line(r+box_node_size):=sync_line(p+box_node_size); @ @<Copy the rule {\sl Sync\TeX} information@>= -{sync_tag(r+rule_node_size):=sync_tag(p+rule_node_size); -sync_line(r+rule_node_size):=sync_line(p+rule_node_size);} +{|sync_tag(r+rule_node_size):=sync_tag(p+rule_node_size);| +|sync_line(r+rule_node_size):=sync_line(p+rule_node_size);|} @ @<Copy the medium sized node {\sl Sync\TeX} information@>= sync_tag(r+medium_node_size):=sync_tag(p+medium_node_size); |