summaryrefslogtreecommitdiff
path: root/Build/source/texk/web2c/omegaware/ovp2ovf.ch
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/texk/web2c/omegaware/ovp2ovf.ch')
-rw-r--r--Build/source/texk/web2c/omegaware/ovp2ovf.ch14
1 files changed, 0 insertions, 14 deletions
diff --git a/Build/source/texk/web2c/omegaware/ovp2ovf.ch b/Build/source/texk/web2c/omegaware/ovp2ovf.ch
index 80a34d00f28..1c727230122 100644
--- a/Build/source/texk/web2c/omegaware/ovp2ovf.ch
+++ b/Build/source/texk/web2c/omegaware/ovp2ovf.ch
@@ -84,20 +84,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 [34] (fill_buffer) end-of-line counts as a delimiter. Possibly a bug.
-else begin while (limit<buf_size-1)and(not eoln(vpl_file)) do
- begin incr(limit); read(vpl_file,buffer[limit]);
- end;
- buffer[limit+1]:=' '; right_ln:=eoln(vpl_file);
-@y
-else begin while (limit<buf_size-1)and(not eoln(vpl_file)) do
- begin incr(limit); read(vpl_file,buffer[limit]);
- end;
- buffer[limit+1]:=' '; right_ln:=eoln(vpl_file);
- if right_ln then begin incr(limit); buffer[limit+1]:=' ';
- end;
-@z
-
@x [37] (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}