Version 1.25.

diff --git a/src/version.c b/src/version.c
index 3499cedcb7659ad9148d9385d36ee82ba680d9a5..2bc1122875ff11ea8e1b723b1b1cacd7872f0c8d 100644 (file)
--- a/src/version.c
+++ b/src/version.c
@@ -1 +1 @@
-char *version_string = "GNU Bison version 1.24\n";
+char *version_string = "GNU Bison version 1.25\n";