update Changellog for next release.

sosy-lab · Oct 8, 2022 · 60ad0b4 · 60ad0b4
1 parent 6cd9ecc
commit 60ad0b4
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.3
+
+This patch release updates SMTInterpol to version 2.5-1242-g5c50fb6d.
+
 ## JavaSMT 3.14.2
 
 This patch release brings small bugfixes for String theory.