about summary refs log tree commit diff homepage
diff options
context:
space:
mode:
authorCristian Cadar <c.cadar@imperial.ac.uk>2023-06-07 17:10:07 +0100
committerFrank Busse <f.busse@imperial.ac.uk>2023-06-07 20:43:57 +0100
commited31a44a28bff499b16ad0884a415ad6e4f8c14c (patch)
tree7cbcfb0cda133ae776101bb9a8119e78fb023153
parentd4ad01eb8959f0b65bdf8428c0d730694cab9bba (diff)
downloadklee-ed31a44a28bff499b16ad0884a415ad6e4f8c14c.tar.gz
Set version number to 3.0
-rw-r--r--CMakeLists.txt2
1 files changed, 1 insertions, 1 deletions
diff --git a/CMakeLists.txt b/CMakeLists.txt
index 43fd3edb..e5e52e67 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -17,7 +17,7 @@ project(KLEE CXX C)
 # Project version
 ###############################################################################
 set(KLEE_VERSION_MAJOR 3)
-set(KLEE_VERSION_MINOR 0-pre)
+set(KLEE_VERSION_MINOR 0)
 set(KLEE_VERSION "${KLEE_VERSION_MAJOR}.${KLEE_VERSION_MINOR}")
 
 # If a patch is needed, we can add KLEE_VERSION_PATCH