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

[bison.git] / src / reader.h

diff --git a/src/reader.h b/src/reader.h
index a86f139ff2530cb631aab88c1e2a2f461fa66536..d7d53015e6fa0e67e5fd0bf9324cc5c7e937a0ac 100644 (file)
--- a/src/reader.h
+++ b/src/reader.h
@@ -16,8 +16,8 @@
 
    You should have received a copy of the GNU General Public License
    along with Bison; see the file COPYING.  If not, write to
-   the Free Software Foundation, Inc., 59 Temple Place - Suite 330,
-   Boston, MA 02111-1307, USA.  */
+   the Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor,
+   Boston, MA 02110-1301, USA.  */
 
 #ifndef READER_H_
 # define READER_H_
@@ -73,5 +73,6 @@ void free_merger_functions (void);
 extern merger_list *merge_functions;
 
 extern bool typed;
+extern bool default_prec;
 
 #endif /* !READER_H_ */