pypi: Fix version.

Boolector · Sep 11, 2023 · 66bf751 · 66bf751
1 parent 6ee2fa1
commit 66bf751
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/pypi/setup.py b/pypi/setup.py
@@ -16,7 +16,7 @@
 
 basedir = os.path.dirname(os.path.abspath(__file__))
 
-version="3.2.1"
+version="3.2.2"
 if os.path.isfile(os.path.join(basedir, "version.txt")):
     with open(os.path.join(basedir, "version.txt")) as fp:
         version = fp.read()