diff options
Diffstat (limited to 'Build/source/texk/web2c/omegaware/ovp2ovf.up')
-rw-r--r-- | Build/source/texk/web2c/omegaware/ovp2ovf.up | 6 |
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 |