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)