Bump version number.

Boolector · Mar 25, 2020 · f61c0dc · f61c0dc
1 parent 6950cbb
commit f61c0dc
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/CMakeLists.txt b/CMakeLists.txt
@@ -3,7 +3,7 @@ cmake_minimum_required(VERSION 3.3)
 #-----------------------------------------------------------------------------#
 
 project(boolector)
-set(VERSION "3.2.0")
+set(VERSION "3.2.1")
 string(TIMESTAMP TIME)
 
 #-----------------------------------------------------------------------------#