From 17e02122be2b27aa624f451d758cca145e166576 Mon Sep 17 00:00:00 2001
From: Karlheinz Friedberger <kfriedberger@gmail.com>
Date: Tue, 24 Dec 2019 15:30:52 +0100
Subject: [PATCH] update documentation for next release.

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

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 44ab6915bc..7fea2a03b4 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,5 +1,16 @@
 # JavaSMT ChangeLog
 
+## JavaSMT 3.4.0
+
+### Changes in the API:
+ - With the update of SMTInterpol some partially visible classes were touched.
+
+### Improvements and Fixes:
+ - fix for visiting uninterpreted function with CVC4
+ - New or updated solver versions:
+    - SMTInterpol: 2.5-604-g71e72f93, including a small change in the API of SMTInterpol
+ - Several updates for dependencies.
+
 ## JavaSMT 3.3.0
 
 ### Changes in the API: