Bump version of smtlib-backends-z3 to 0.3.1 and update changelog

tweag · Jan 29, 2024 · b084da6 · b084da6
1 parent a21a320
commit b084da6
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 1 deletion.
diff --git a/smtlib-backends-z3/CHANGELOG.md b/smtlib-backends-z3/CHANGELOG.md
@@ -5,6 +5,10 @@ file.
 
 ## next
 
+### Added
+
+## v0.3.1 _(2024-01-29)_
+
 ### Added
 - note about `Z3.Config` limitations
 

diff --git a/smtlib-backends-z3/smtlib-backends-z3.cabal b/smtlib-backends-z3/smtlib-backends-z3.cabal
@@ -1,5 +1,5 @@
 name:               smtlib-backends-z3
-version:            0.3
+version:            0.3.1
 synopsis:           An SMT-LIB backend implemented using Z3's C API.
 description:
   This library implements an SMT-LIB backend (in the sense of the smtlib-backends