From 8cde99d83d4315c9ba5adf96f3efadc460117f57 Mon Sep 17 00:00:00 2001
From: Roland Kaminski <kaminski@cs.uni-potsdam.de>
Date: Sat, 6 Nov 2021 21:42:53 +0100
Subject: [PATCH] update change log

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

diff --git a/CHANGES.md b/CHANGES.md
index 7f3410432..57b3da08d 100644
--- a/CHANGES.md
+++ b/CHANGES.md
@@ -1,7 +1,11 @@
 # Changes
 
 ## clingo 5.5.1
+  * extend theory class to get version information
+  * improve performance of `Model.symbol` (#296)
+  * tidy up `clingo.hh` header regarding C++17 deprecations (#344)
   * fix error handling while solving in Python API (#334)
+  * fix various outher bugs
 
 ## clingo 5.5.0
   * allow for using `not` as a theory operator (#193)