Don't document %no-default-prec for now.

[bison.git] / ChangeLog

diff --git a/ChangeLog b/ChangeLog
index 6af09b7b8cf254a60e59c39ee423b6a4048ee864..1461692500df3ad99c7ae36fd077751c745317f4 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,10 @@
+2003-10-05  Paul Eggert  <eggert@twinsun.com>
+
+       * NEWS: Don't document %no-default-prec, as it's still
+       too experimental.
+       * doc/bison.texinfo: Document %no-default-prec only if
+       the defaultprec flag is set.  Normally it's not.
+
 2003-10-04  Paul Eggert  <eggert@twinsun.com>
 
        * data/glr.c (b4_rhs_value, b4_rhs_location): Yield a