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