Parsing Failure on TestLcl.thy

[Graham Dutton]

Parsing TestLcl.thy in test repository fails at the final lines. PG parses the final two lines:

 end
end

as a single unit:

 end[newline]en

(where [newline] is an actual newline), discarding the final character.

Note that functionally identical file TestLocale.thy does not exhibit this behaviour.