Remove duplicate header inclusion.

[bison.git] / ChangeLog

diff --git a/ChangeLog b/ChangeLog
index 399782b7a6f8c93b79f81004108fed0db28a59d7..fce877337f683d3b75b98ae471ca3fc1aa97fd46 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2008-11-15  Akim Demaille  <demaille@gostai.com>
+
+       Remove duplicate header inclusion.
+       * src/LR0.c: here.
+
 2008-11-15  Akim Demaille  <demaille@gostai.com>
 
        * src/parse-gram.h, src/parse-gram.c: Regen.