CHANGELOG typo.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@7598 bbc10eb1-c90d-0410-af57-cb519fbb1720
12 years ago · 93a924e3fb
1 changed files with 1 additions and 1 deletions
--- 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: