diff --git a/CHANGELOG.md b/CHANGELOG.md index 75f2ae4..fc40fd5 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -8,7 +8,7 @@ Version 0.9 - Bindings for storm-pars - Bindings for graph constraints -- Bindings for parsing JANI files +- Bindings for handling JANI files - Moved expressions from own module into storage module - Travis support for build process - Tests for documentation