Bugfix skip-line directive with Unix line endings

This commit is contained in:
slederer 2025-03-30 23:31:58 +02:00
parent 21a45b06cf
commit bb602043d2

View file

@ -2186,7 +2186,7 @@ begin
if ch = '!' then
(* special comment till end of line *)
begin
while not (nextChar = #13) do (* nothing *);
while not (nextChar in [#13, #10]) do (* nothing *);
readNextToken;
end
else