From 2dba64705ec6502d01b226dd0d61c403570cb25c Mon Sep 17 00:00:00 2001 From: Matthias Volk Date: Fri, 11 Aug 2017 14:36:28 +0200 Subject: [PATCH] Removed redundant info in CHANGELOG --- CHANGELOG.md | 1 - 1 file changed, 1 deletion(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index 90c72cd28..7c55d776d 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -6,7 +6,6 @@ The releases of major and minor versions contain an overview of changes since th Version 1.1.x ------------- -Long run average computation via LRA, LP based MDP model checking, parametric model checking has an own binary ### Version 1.1.0 (2017/8)