From d0cc24ae51f4c5e544ce082151dd1e20d2edbab9 Mon Sep 17 00:00:00 2001
From: Tim Quatmann <tim.quatmann@cs.rwth-aachen.de>
Date: Wed, 19 Aug 2020 15:26:37 +0200
Subject: [PATCH] Updated Changelog.

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

diff --git a/CHANGELOG.md b/CHANGELOG.md
index a2df45aa3..59fd8bc0b 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -10,6 +10,7 @@ Version 1.6.x
 
 ## Version 1.6.1 (??)
 - Prism program simplification improved
+- Revamped implementation of long-run-average algorithms, including scheduler export for LRA properties on Markov automata
 - `storm-pomdp`: Fix for --transformsimple and --transformbinary when used with until formulae
 
 ## Version 1.6.0 (2020/06)