From 475ce82cd35b8e94ec48fc61415de549823092fe Mon Sep 17 00:00:00 2001 From: Martin Blicha Date: Mon, 24 Oct 2022 16:52:20 +0200 Subject: [PATCH] CMake: Bump OpenSMT version --- CMakeLists.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/CMakeLists.txt b/CMakeLists.txt index 4a1defd7f..eab044178 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -6,7 +6,7 @@ endif() set(OPENSMT_VERSION_MAJOR 2) set(OPENSMT_VERSION_MINOR 4) -set(OPENSMT_VERSION_PATCH 1) +set(OPENSMT_VERSION_PATCH 2) set(OPENSMT_VERSION ${OPENSMT_VERSION_MAJOR}.${OPENSMT_VERSION_MINOR}.${OPENSMT_VERSION_PATCH}) project(opensmt VERSION ${OPENSMT_VERSION} LANGUAGES CXX)