Use YYFPRINTF instead of fprintf where appropriate. Reported by

[bison.git] / THANKS

diff --git a/THANKS b/THANKS
index 058b1037ef4382ddf2eee35f0b60d3a9fe32a411..a5a4a5a0fa397249f297446e1974a9b0073b0463 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -70,6 +70,7 @@ Raja R Harinath           harinath@cs.umn.edu
 Richard Stallman          rms@gnu.org
 Robert Anisko             anisko_r@epita.fr
 Satya Kiran Popuri        satyakiran@gmail.com
+Sébastien Fricker         sebastien.fricker@gmail.com
 Shura                     debil_urod@ngs.ru
 Steve Murphy              murf@parsetree.com
 Tim Josling               tej@melbpc.org.au