diff --git a/ChangeLog b/ChangeLog
index 15d9871d..dfc32fb9 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,9 @@
+2003-01-17  Paul Eggert  <eggert@twinsun.com>
+
+	* src/output.c (symbol_printers_output): Fix typo that led
+	to core dump.  Problem reported by Antonio Rus in
+	<http://mail.gnu.org/archive/html/bug-bison/2003-01/msg00058.html>.
+
 2003-01-13  Akim Demaille  <akim@epita.fr>,
 		Quoc Peyrot <chojin@lrde.epita.fr>,
 		Robert Anisko <anisko_r@lrde.epita.fr>