1 files changed, 23 insertions, 0 deletions
diff --git a/Build/source/texk/web2c/omegaware/ovp2ovf.ch b/Build/source/texk/web2c/omegaware/ovp2ovf.ch
index 8e5695027a1..50487ed175c 100644
--- a/Build/source/texk/web2c/omegaware/ovp2ovf.ch
+++ b/Build/source/texk/web2c/omegaware/ovp2ovf.ch
@@ -89,6 +89,29 @@ rewritebin (tfm_file, tfm_name);
 @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.
+  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
+  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}
+else begin
+@y
+begin while loc=limit do fill_buffer;
+begin
+@z
+
 % [89] `index' is not a good choice for an identifier on Unix systems.
 % Neither is `class', on AIX.
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%