diff options
Diffstat (limited to 'Build/source/texk/web2c/omegaware/opl2ofm.ch')
-rw-r--r-- | Build/source/texk/web2c/omegaware/opl2ofm.ch | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/Build/source/texk/web2c/omegaware/opl2ofm.ch b/Build/source/texk/web2c/omegaware/opl2ofm.ch index 7d512e59a7c..38e79328be9 100644 --- a/Build/source/texk/web2c/omegaware/opl2ofm.ch +++ b/Build/source/texk/web2c/omegaware/opl2ofm.ch @@ -94,20 +94,6 @@ correspond to one-character constants like \.{"A"} in \.{WEB} language. @d first_ord=0 {ordinal number of the smallest element of |char|} @z -@x [28] (fill_buffer) end-of-line counts as a delimiter. Possibly a bug. -else begin while (limit<buf_size-1)and(not eoln(pl_file)) do - begin incr(limit); read(pl_file,buffer[limit]); - end; - buffer[limit+1]:=' '; right_ln:=eoln(pl_file); -@y -else begin while (limit<buf_size-2)and(not eoln(pl_file)) do - begin incr(limit); read(pl_file,buffer[limit]); - end; - buffer[limit+1]:=' '; right_ln:=eoln(pl_file); - if right_ln then begin incr(limit); buffer[limit+1]:=' '; - end; -@z - @x [31] (get_keyword_char) Unnecessary due to previous change. begin while (loc=limit)and(not right_ln) do fill_buffer; if loc=limit then cur_char:=" " {end-of-line counts as a delimiter} |