From 2cbc3116b8fa6b9eabaa06b183f4b9989c7f16da Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick-github@luehne.de>
Date: Mon, 5 Jun 2017 03:07:50 +0200
Subject: [PATCH] Updated change log with new #show and simplification
 features.

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

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 3fecfab..1f58dd3 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -5,6 +5,8 @@
 Features:
 
 * unique IDs for all variables (user-defined variables are renamed)
+* support for hiding predicates from completed output by using `#show` statements
+* more simplification rules with `--simplify`
 
 Bug Fixes: