From a605b2f6bc14136300a146381f1d04ff9abcb20e Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Tue, 7 Dec 2010 22:47:38 +0000
Subject: [PATCH] CHANGELOG.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@2322 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 d1c7076b..28d8f1df 100644
--- a/prism/CHANGELOG.txt
+++ b/prism/CHANGELOG.txt
@@ -8,7 +8,7 @@ Ongoing changes:
 * CTL model checking
 
 Latest changes (mostly reverse chronological):
-[correct wrt svn rev 2221]
+[correct wrt svn rev 2286]
 
 * PTA model checking
 * New simulator