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

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

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 5f4b8c3..3318023 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -6,6 +6,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
 
 ## 0.1.8 (2018-04-20)