From 5021d8b8eaf320d1da9199e953a9f57d1f09b4c8 Mon Sep 17 00:00:00 2001 From: Matthias Volk Date: Thu, 3 Aug 2017 18:29:11 +0200 Subject: [PATCH] Updated changelog --- CHANGELOG.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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