about summary refs log tree commit diff homepage
path: root/CMakeLists.txt
diff options
context:
space:
mode:
authorCristian Cadar <c.cadar@imperial.ac.uk>2020-12-07 14:20:15 +0000
committerMartinNowack <2443641+MartinNowack@users.noreply.github.com>2020-12-07 15:01:33 +0000
commit5719d2803e93252e5d4613f43afc7db0d72332f1 (patch)
treec9e724bc6952c9e9e3ab1ffb34f6e03a827e5abd /CMakeLists.txt
parentdcb1a096cc9aecb8d866f80aea7f2e738d121f5b (diff)
downloadklee-5719d2803e93252e5d4613f43afc7db0d72332f1.tar.gz
Update version to 2.2 v2.2 2.2.x
Diffstat (limited to 'CMakeLists.txt')
-rw-r--r--CMakeLists.txt2
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