From 93a924e3fbadc419eff19f77f42570151aa590ac Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Wed, 13 Nov 2013 18:44:13 +0000
Subject: [PATCH] CHANGELOG typo.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@7598 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 67a5436e..13212b37 100644
--- a/prism/CHANGELOG.txt
+++ b/prism/CHANGELOG.txt
@@ -9,7 +9,7 @@ New since last release:
   - added R[C<=k] operator for MDPs (sparse, explicit)
   - new -exportmecs and -exportsccs switches
   - additional functionality in explicit engine (export BSCCs, LTL)
-  - improved adversary.strategy generation in explicit engine
+  - improved adversary strategy generation in explicit engine
   - integer variables can be unbounded (e.g. "x:int;"), for simulation-based analysis
 
 * New options/switches: