From 3efee0d35dd5ca7dbda92ac24e96f950d7c2d12c Mon Sep 17 00:00:00 2001
From: Sebastian Junges <sebastian.junges@rwth-aachen.de>
Date: Tue, 16 Jul 2019 16:05:43 +0200
Subject: [PATCH] changelog update: export of mtbdds

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

diff --git a/CHANGELOG.md b/CHANGELOG.md
index add4eeb9a..300f9dad5 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -21,6 +21,7 @@ Version 1.3.x
 - Fixed sparse bisimulation of MDPs (which failed if all non-absorbing states in the quotient are initial)
 - Fixed linking with Mathsat on macOS
 - Fixed compilation for macOS mojave
+- Support for export of MTBDDs from storm
 
 ### Version 1.3.0 (2018/12)
 - Slightly improved scheduler extraction