From 601b73608a5ab29c16f2c5517e45ccf11100826f Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Wed, 11 Jul 2018 21:06:52 +0200
Subject: [PATCH] adapting changelog

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

diff --git a/CHANGELOG.md b/CHANGELOG.md
index bda25081d..b75150e65 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -11,7 +11,7 @@ Version 1.2.x
 - `storm-dft`: improvements in Galileo parser
 - `storm-dft`: test cases for DFT analysis
 - Sound value iteration (SVI) for DTMCs and MDPs
-- Topological solver for linear equation systems and MinMax equation systems.
+- Topological solver for linear equation systems and MinMax equation systems (enabled by default)
 - Added support for expected total rewards in the sparse engine
 - `storm-parsers` extracted to reduce linking time
 - `storm-counterexamples` extracted to reduce linking time