From e4e6a65d437bf4f0c3501b258dec4b10d0c4189a Mon Sep 17 00:00:00 2001
From: Martin Blicha <martin.blicha@gmail.com>
Date: Wed, 29 May 2024 14:29:29 +0200
Subject: [PATCH] Update version to 2.7.0

---
 CMakeLists.txt | 4 ++--
 Changelog.md   | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/CMakeLists.txt b/CMakeLists.txt
index b53dd9425..62fb5dad1 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -5,8 +5,8 @@ cmake_policy(SET CMP0074 NEW)
 endif()
 
 set(OPENSMT_VERSION_MAJOR 2)
-set(OPENSMT_VERSION_MINOR 6)
-set(OPENSMT_VERSION_PATCH 1)
+set(OPENSMT_VERSION_MINOR 7)
+set(OPENSMT_VERSION_PATCH 0)
 set(OPENSMT_VERSION ${OPENSMT_VERSION_MAJOR}.${OPENSMT_VERSION_MINOR}.${OPENSMT_VERSION_PATCH})
 project(opensmt VERSION ${OPENSMT_VERSION} LANGUAGES CXX)
 
diff --git a/Changelog.md b/Changelog.md
index ffefdd43a..526db8f86 100644
--- a/Changelog.md
+++ b/Changelog.md
@@ -1,4 +1,4 @@
-### 2.6.1 (unreleased)
+### 2.7.0 (unreleased)
 
 Bug fixes:
  - Fix unsoundness in incremental solving involving theory combination (introduced in 2.6.0).