From 60ad0b47fb5c1dc12f899a73e98b6be06f91575e Mon Sep 17 00:00:00 2001
From: Karlheinz Friedberger <kfriedberger@gmail.com>
Date: Sat, 8 Oct 2022 15:47:00 +0200
Subject: [PATCH] update Changellog for next release.

---
 CHANGELOG.md | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 7e58efdd43..ed98dd7704 100644
--- 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.