diff --git a/src/version.c b/src/version.c index 3499cedc..2bc11228 100644 --- 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";