news: fix typo.

[bison.git] / THANKS

diff --git a/THANKS b/THANKS
index 284c5a9131e75265505678b8f83977eb99928934..75037b1f0196c75af16e75e03ab84130f429008f 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -13,6 +13,7 @@ Anthony Heading           ajrh@ajrh.net
 Arnold Robbins            arnold@skeeve.com
 Art Haas                  ahaas@neosoft.com
 Baron Schwartz            baron@sequent.org
+Ben Pfaff                 blp@cs.stanford.edu
 Benoit Perrot             benoit.perrot@epita.fr
 Bernd Kiefer              kiefer@dfki.de
 Bert Deknuydt             Bert.Deknuydt@esat.kuleuven.ac.be