From 0c64f02107842361065988c5dc0cd61f66e88ece Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Wed, 20 Mar 2019 21:10:36 +0000
Subject: [PATCH] CHANGELOG.

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

diff --git a/CHANGELOG.txt b/CHANGELOG.txt
index a378973f..32f70024 100644
--- a/CHANGELOG.txt
+++ b/CHANGELOG.txt
@@ -14,6 +14,7 @@ Changes since version 4.4 (up-to-date wrt c0533b0b)
   - PRISM GUI settings file (.prism) moved to more standard locations
   - ITE supported in exact/parametric mode
   - various improvements to model checking in "exact" mode
+  - bugfix for incorrect model construction during fast adaptive uniformisation
   - faster explicit construction of models with no labels
   - command-line -exportsteadystates switch implies -steadystate
   - GUI shortcuts: double-clicks for addition of constants, labels