From afbfd42b3a24f45bcf88844dda04ddccf4d16f7a Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Mon, 16 Mar 2020 15:12:33 +0100
Subject: [PATCH] Storm version 1.5.1

---
 CHANGELOG.md  | 2 +-
 version.cmake | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 59df08de1..b76fa2dc7 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -7,7 +7,7 @@ The releases of major and minor versions contain an overview of changes since th
 
 Version 1.5.x
 -------------
-## Version 1.5.1 (2020/03) (under development)
+## Version 1.5.1 (2020/03)
 - Jani models are now parsed using exact arithmetic.
 
 ## Version 1.5.0 (2020/03)
diff --git a/version.cmake b/version.cmake
index 9936858f5..366226594 100644
--- a/version.cmake
+++ b/version.cmake
@@ -1,4 +1,4 @@
 set(STORM_VERSION_MAJOR 1)
 set(STORM_VERSION_MINOR 5)
-set(STORM_VERSION_PATCH 0)
+set(STORM_VERSION_PATCH 1)