Increased version number to 2.5.1

BrunoDutertre · BrunoDutertre · commit 7eacee138f20 · 2016-08-23T09:49:34.000-07:00
diff --git a/Makefile b/Makefile
@@ -37,7 +37,7 @@ YICES_TOP_DIR=$(shell pwd)
 #
 MAJOR = 2
 MINOR = 5
-PATCH_LEVEL = 0
+PATCH_LEVEL = 1
 
 YICES_VERSION = $(MAJOR).$(MINOR).$(PATCH_LEVEL)
 
diff --git a/doc/sphinx/source/conf.py b/doc/sphinx/source/conf.py
@@ -58,7 +58,7 @@
 # The short X.Y version.
 version = '2.5'
 # The full version, including alpha/beta/rc tags.
-release = '2.5.0'
+release = '2.5.1'
 
 # The language for content autogenerated by Sphinx. Refer to documentation
 # for a list of supported languages.
diff --git a/src/include/yices.h b/src/include/yices.h
@@ -72,7 +72,7 @@ extern "C" {
 
 #define __YICES_VERSION            2
 #define __YICES_VERSION_MAJOR      5
-#define __YICES_VERSION_PATCHLEVEL 0
+#define __YICES_VERSION_PATCHLEVEL 1
 
 
 /*

Original file line number	Diff line number	Diff line change
`@@ -37,7 +37,7 @@ YICES_TOP_DIR=$(shell pwd)`
`37`	`37`	`#`
`38`	`38`	`MAJOR = 2`
`39`	`39`	`MINOR = 5`
`40`		`-PATCH_LEVEL = 0`
	`40`	`+PATCH_LEVEL = 1`
`41`	`41`
`42`	`42`	`YICES_VERSION = $(MAJOR).$(MINOR).$(PATCH_LEVEL)`
`43`	`43`