diff --git a/CHANGELOG.md b/CHANGELOG.md
index 58bc4bc..5f4b8c3 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -2,6 +2,11 @@
 
 ## (unreleased)
 
+### Features
+
+* optional detection of integer variables and integer predicate parameters
+* command-line option `--detect-integers` to enable integer variable detection
+
 ## 0.1.8 (2018-04-20)
 
 ### Features