diff --git a/CMakeLists.txt b/CMakeLists.txt
index 307e436a4..d0c5cab03 100644
--- 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)
 
 #-----------------------------------------------------------------------------#