From b8844d5ad1c9979873deb7d47cf57bc25b6c9068 Mon Sep 17 00:00:00 2001
From: TimQu <tim.quatmann@cs.rwth-aachen.de>
Date: Thu, 29 Jun 2017 11:57:22 +0200
Subject: [PATCH] updated changelog

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

diff --git a/CHANGELOG.md b/CHANGELOG.md
index e701cd146..5acbcc582 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -19,6 +19,7 @@ Version 1.0.x
     * are in smtlib2
 - USE_POPCNT removed in favor of FORCE_POPCNT. The popcnt instruction is used if available due to march=native, unless portable is set. 
     Then, using FORCE_POPCNT enables the use of the SSE 4.2 instruction
+- Parametric model checking is now handled in a separated library/executable called storm-pars
 
 ### Version 1.0.1 (2017/4)