From f61c0dcf4a76e2f7766a6358bfb9c16ca8217224 Mon Sep 17 00:00:00 2001
From: Aina Niemetz <aina.niemetz@gmail.com>
Date: Wed, 25 Mar 2020 11:46:00 -0700
Subject: [PATCH] Bump version number.

---
 CMakeLists.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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)
 
 #-----------------------------------------------------------------------------#