#ifdef HAVE_CONFIG_H
#include <config.h>
#endif

char *version_string = "GNU Bison version " VERSION "\n";