/* Define the current version number of GDB.  */

char *version = "3.1";