Changed version number to 2.5.0

BrunoDutertre · BrunoDutertre · commit 25ecd47f9405 · 2016-07-22T09:53:23.000-07:00
diff --git a/Makefile b/Makefile
@@ -36,8 +36,8 @@ YICES_TOP_DIR=$(shell pwd)
 # - P should not work anymore with libyices 2.1.0 or 3.0.0
 #
 MAJOR = 2
-MINOR = 4
-PATCH_LEVEL = 2
+MINOR = 5
+PATCH_LEVEL = 0
 
 YICES_VERSION = $(MAJOR).$(MINOR).$(PATCH_LEVEL)
 
diff --git a/src/include/yices.h b/src/include/yices.h
@@ -71,8 +71,8 @@ extern "C" {
  ********************/
 
 #define __YICES_VERSION            2
-#define __YICES_VERSION_MAJOR      4
-#define __YICES_VERSION_PATCHLEVEL 2
+#define __YICES_VERSION_MAJOR      5
+#define __YICES_VERSION_PATCHLEVEL 0
 
 
 /*

Original file line number	Diff line number	Diff line change
`@@ -36,8 +36,8 @@ YICES_TOP_DIR=$(shell pwd)`
`36`	`36`	`# - P should not work anymore with libyices 2.1.0 or 3.0.0`
`37`	`37`	`#`
`38`	`38`	`MAJOR = 2`
`39`		`-MINOR = 4`
`40`		`-PATCH_LEVEL = 2`
	`39`	`+MINOR = 5`
	`40`	`+PATCH_LEVEL = 0`
`41`	`41`
`42`	`42`	`YICES_VERSION = $(MAJOR).$(MINOR).$(PATCH_LEVEL)`
`43`	`43`