summaryrefslogtreecommitdiff
path: root/THANKS
diff options
context:
space:
mode:
authorAkim Demaille <akim.demaille@gmail.com>2019-05-19 08:15:08 +0200
committerAkim Demaille <akim.demaille@gmail.com>2019-05-19 10:05:18 +0200
commitde5207244b5cbcc496683ba903c090b67e77c24c (patch)
tree94d0c43e7c65c0d71ba0b03a1f4bd6f3a827d621 /THANKS
parentcae813269066d0d7d8ae2fbc1df947fb568a6173 (diff)
downloadbison-de5207244b5cbcc496683ba903c090b67e77c24c.tar.gz
diagnostics: %pure-parser is obsolete
Reported by Uxio Prego. http://lists.gnu.org/archive/html/bug-bison/2018-12/msg00029.html * src/scan-gram.l, src/parse-gram.y (PERCENT_PURE_PARSER) (handle_pure_parser): New. Issue a deprecation/update notice for %pure-parser. * doc/bison.texi (Java Bison Interface): Don't mention %pure-parser. * tests/actions.at, tests/input.at: Adjust.
Diffstat (limited to 'THANKS')
-rw-r--r--THANKS1
1 files changed, 1 insertions, 0 deletions
diff --git a/THANKS b/THANKS
index eb690d22..50b33f48d 100644
--- a/THANKS
+++ b/THANKS
@@ -179,6 +179,7 @@ Tom Tromey tromey@cygnus.com
Tommy Nordgren tommy.nordgren@chello.se
Troy A. Johnson troyj@ecn.purdue.edu
Tys Lefering gccbison@gmail.com
+Uxio Prego uxio.prego@gmail.com
Valentin Tolmer nitnelave1@gmail.com
wcventure wcventure@126.com
Victor Khomenko victor.khomenko@newcastle.ac.uk