From 101dc59f3ff42646619554417a4aa46c63c61309 Mon Sep 17 00:00:00 2001
From: Bruno Dutertre <bruno@csl.sri.com>
Date: Wed, 9 Aug 2017 11:47:38 -0700
Subject: [PATCH] Reverted to version 2.5.3 (to prepare for PPA release)

---
 Makefile            | 4 ++--
 src/include/yices.h | 4 ++--
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/Makefile b/Makefile
index ec4fe2d1a..7114d262d 100644
--- 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
index 1eab6f667..ea08deaf4 100644
--- 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
 
 
 /*