From a9b00dfb7cef9be53c7d00b5d6eea4b5cbdd0362 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick@luehne.de>
Date: Fri, 20 Apr 2018 16:38:57 +0200
Subject: [PATCH] Add integer variable detection to change log

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

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