Reverted to version 2.5.3 (to prepare for PPA release)

BrunoDutertre · BrunoDutertre · commit 101dc59f3ff4 · 2017-08-09T11:47:38.000-07:00
diff --git a/Makefile b/Makefile
@@ -49,8 +49,8 @@ YICES_TOP_DIR=$(shell pwd)
 # - P should not work anymore with libyices 2.1.0 or 3.0.0
 #
 MAJOR = 2
-MINOR = 6
-PATCH_LEVEL = 0
+MINOR = 5
+PATCH_LEVEL = 3
 
 YICES_VERSION = $(MAJOR).$(MINOR).$(PATCH_LEVEL)
 
diff --git a/src/include/yices.h b/src/include/yices.h
@@ -82,8 +82,8 @@ extern "C" {
  ********************/
 
 #define __YICES_VERSION            2
-#define __YICES_VERSION_MAJOR      6
-#define __YICES_VERSION_PATCHLEVEL 0
+#define __YICES_VERSION_MAJOR      5
+#define __YICES_VERSION_PATCHLEVEL 3
 
 
 /*

Original file line number	Diff line number	Diff line change
`@@ -49,8 +49,8 @@ YICES_TOP_DIR=$(shell pwd)`
`49`	`49`	`# - P should not work anymore with libyices 2.1.0 or 3.0.0`
`50`	`50`	`#`
`51`	`51`	`MAJOR = 2`
`52`		`-MINOR = 6`
`53`		`-PATCH_LEVEL = 0`
	`52`	`+MINOR = 5`
	`53`	`+PATCH_LEVEL = 3`
`54`	`54`
`55`	`55`	`YICES_VERSION = $(MAJOR).$(MINOR).$(PATCH_LEVEL)`
`56`	`56`