Fix infringement on user name space reported by Janos Zoltan Szabo.

diff --git a/ChangeLog b/ChangeLog
index ba9fe534434231e314137ec1095031aa8810aca5..eb2abfc15f5b1094f6ad1a6ae767d2f799c5a454 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2005-05-30  Paul Eggert  <eggert@cs.ucla.edu>
+
+       Fix infringement on user name space reported by Janos Zoltan Szabo.
+       * data/yacc.c (yyparse): strlen -> yystrlen.
+

 2005-05-30  Akim Demaille  <akim@epita.fr>
 
        * data/lalr1.cc (_): New.
 2005-05-30  Akim Demaille  <akim@epita.fr>
 
        * data/lalr1.cc (_): New.