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)