From 6233fc5f820cd7ab18cab8085ce3f51b2a112a96 Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Wed, 2 Jan 2019 18:57:16 +0100
Subject: [PATCH] Set correct pycarl version in CHANGELOG

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

diff --git a/CHANGELOG.md b/CHANGELOG.md
index ce1c4a0..347b676 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -5,7 +5,7 @@ Version 1.3.x
 -------------
 
 ### Version 1.3.0 (2019/01)
-Requires storm version >= 1.3.0 and pycarl version >= 2.0.2
+Requires storm version >= 1.3.0 and pycarl version >= 2.0.3
 - Adaptions to changes in Storm
 - Bindings for symbolic models:
     * building symbolic models