From 529aec15afb93be359009536dfecbb48bbd5d720 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick@luehne.de>
Date: Sat, 21 Apr 2018 18:48:57 +0200
Subject: [PATCH] Add integer simplifications to change log

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

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 3318023..b057f23 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -7,6 +7,7 @@
 * optional detection of integer variables and integer predicate parameters
 * command-line option `--detect-integers` to enable integer variable detection
 * support for declaring functions integer with the `#external` directive
+* new simplification rule applying to integer variables
 
 ## 0.1.8 (2018-04-20)