update Changelog for next release.

sosy-lab · Sep 25, 2022 · d5e43c5 · d5e43c5
1 parent c6bd3d7
commit d5e43c5
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.14.1
+
+This patch release brings small bugfixes and improved documentation for formula visitation.
+
 ## JavaSMT 3.14.0
 
 This minor release comes a new method 'allChar' in String theory