From e89b743f6562bb9f09da64d906e50d4b2f15f6cb Mon Sep 17 00:00:00 2001 From: Jip Spel Date: Mon, 21 Oct 2019 16:41:03 +0200 Subject: [PATCH] Update changelog --- CHANGELOG.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index 27eddbf03..b05097073 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -25,7 +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. +- 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