flex: don't trust YY_USER_INIT

[bison.git] / THANKS

diff --git a/THANKS b/THANKS
index 1b1ff71676a54efb0a84ad087df689627548c5d2..4559a901924a56992aa703daad37fa8632e44842 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -16,6 +16,7 @@ Art Haas                  ahaas@neosoft.com
 Baron Schwartz            baron@sequent.org
 Ben Pfaff                 blp@cs.stanford.edu
 Benoit Perrot             benoit.perrot@epita.fr
+Bernd Edligner            bernd.edlinger@hotmail.de
 Bernd Kiefer              kiefer@dfki.de
 Bert Deknuydt             Bert.Deknuydt@esat.kuleuven.ac.be
 Bill Allombert            Bill.Allombert@math.u-bordeaux1.fr