update Changelog for upcoming release.

sosy-lab · Jul 31, 2022 · 09b7a6b · 09b7a6b
1 parent 9d7548b
commit 09b7a6b
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -10,6 +10,10 @@ SPDX-License-Identifier: Apache-2.0
 
 # JavaSMT ChangeLog
 
+## JavaSMT 3.13.3
+
+This patch release comes with a smaller bugfix for String-theory formulas in Z3.
+
 ## JavaSMT 3.13.2
 
 This patch release comes with some updated solvers and some smaller bugfixes.