From 5c1d597292a0968eb857ff197f39d6363b5b5a64 Mon Sep 17 00:00:00 2001
From: Jip Spel <jip.spel@cs.rwth-aachen.de>
Date: Mon, 21 Oct 2019 13:48:31 +0200
Subject: [PATCH] Add line for changelog

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

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 52bebe6e8..27eddbf03 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -25,6 +25,7 @@ Version 1.3.x
 - Fixed linking with Mathsat on macOS
 - Fixed compilation for macOS mojave
 - Support for export of MTBDDs from storm
+- Support for monotonicity checking of pMCs using the --monotonicity-analysis option. Use --help monotonicity for all options.
 
 ### Version 1.3.0 (2018/12)
 - Slightly improved scheduler extraction