summaryrefslogtreecommitdiff
path: root/Build/source/texk/web2c/omegaware/ovp2ovf.up
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/texk/web2c/omegaware/ovp2ovf.up')
-rw-r--r--Build/source/texk/web2c/omegaware/ovp2ovf.up6
1 files changed, 6 insertions, 0 deletions
diff --git a/Build/source/texk/web2c/omegaware/ovp2ovf.up b/Build/source/texk/web2c/omegaware/ovp2ovf.up
index 9c57961ed34..6a6165a5528 100644
--- a/Build/source/texk/web2c/omegaware/ovp2ovf.up
+++ b/Build/source/texk/web2c/omegaware/ovp2ovf.up
@@ -44,3 +44,9 @@ procedure read_packet(@!c:byte);
@y
procedure read_packet(@!c:integer);
@z
+
+@x [188]
+ while (not diff) and (cprime<=ec) do begin
+@y
+ while (not diff) and (cprime<=ec) and (cprime-c<@"10000) do begin
+@z