From 850ed893534e33be1c61c1d827c37245825f2788 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Wed, 14 May 2014 21:44:07 +0000
Subject: [PATCH] CHANGELOG.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@8224 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/CHANGELOG.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/prism/CHANGELOG.txt b/prism/CHANGELOG.txt
index 1002aa5a..a5e3f6cd 100644
--- a/prism/CHANGELOG.txt
+++ b/prism/CHANGELOG.txt
@@ -28,7 +28,7 @@ Version 4.2 (beta first released 12/5/2014)
   - additional graph zoom functionality on popup menu
 
 * Updates to build process
-  - fixed building on new versions of Cygwin (Windows)
+  - fixed building on new versions of Cygwin (32/64-bit Windows)
   - update CUDD to version 2.5.0
 
 -----------------------------------------------------------------------------