From 4587575649f0f92757eade3bb4eb130569f50307 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Thu, 18 Nov 2021 20:25:47 -0800 Subject: [PATCH] if you read this commit message you probably are a programmer who has no life Signed-off-by: Nikolaj Bjorner --- CMakeLists.txt | 2 +- scripts/mk_project.py | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/CMakeLists.txt b/CMakeLists.txt index 46cb84ddc..f1ad74181 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -2,7 +2,7 @@ cmake_minimum_required(VERSION 3.4) set(CMAKE_USER_MAKE_RULES_OVERRIDE_CXX "${CMAKE_CURRENT_SOURCE_DIR}/cmake/cxx_compiler_flags_overrides.cmake") -project(Z3 VERSION 4.8.13.0 LANGUAGES CXX) +project(Z3 VERSION 4.8.14.0 LANGUAGES CXX) ################################################################################ # Project version diff --git a/scripts/mk_project.py b/scripts/mk_project.py index 982ea194e..105c097d4 100644 --- a/scripts/mk_project.py +++ b/scripts/mk_project.py @@ -8,7 +8,7 @@ from mk_util import * def init_version(): - set_version(4, 8, 13, 0) + set_version(4, 8, 14, 0) # Z3 Project definition def init_project_def():