From 641e326303753575664ca146fee7e9148d6bf5cf Mon Sep 17 00:00:00 2001 From: Akim Demaille Date: Fri, 6 Mar 2020 09:05:52 +0100 Subject: code: be robust to reference with invalid tags Because we want to support $b>$, we must accept -> in type tags, and reject $<->$, as it is unfinished. Reported by Ahcheong Lee. * src/scan-code.l (yylex): Make sure "tag" does not end with -, since -> does not close the tag. * tests/input.at (Stray $ or @): Check this. --- THANKS | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'THANKS') diff --git a/THANKS b/THANKS index db54776a..d8ef2c0c 100644 --- a/THANKS +++ b/THANKS @@ -4,8 +4,9 @@ it is today without the invaluable help of these people: Aaro Koskinen aaro.koskinen@iki.fi Аскар Сафин safinaskar@mail.ru Adam Sampson ats@offog.org +Ahcheong Lee dkcjd2000@gmail.com Airy Andre Airy.Andre@edf.fr -Akim Demaille akim@lrde.epita.fr +Akim Demaille akim@gnu.org Albert Chin-A-Young china@thewrittenword.com Alexander Belopolsky alexb@rentec.com Alexandre Duret-Lutz adl@lrde.epita.fr -- cgit v1.2.1