1 files changed, 1 insertions, 1 deletions
diff --git a/CMakeLists.txt b/CMakeLists.txt
index 3427a6bc..e6347e8a 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -39,7 +39,7 @@ include(CheckLibraryExists)
# Project version
###############################################################################
set(KLEE_VERSION_MAJOR 2)
-set(KLEE_VERSION_MINOR 2-pre)
+set(KLEE_VERSION_MINOR 2)
set(KLEE_VERSION "${KLEE_VERSION_MAJOR}.${KLEE_VERSION_MINOR}")
# If a patch is needed, we can add KLEE_VERSION_PATCH
|
