From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Mon, 30 Sep 2013 15:47:15 +0000 (+0200)
Subject: model-checker : typo in NEWS file
X-Git-Tag: v3_9_90~60^2~9
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/a81f5ae1eef3637df7e71567fd719e4a57bfa46e

model-checker : typo in NEWS file
---

diff --git a/NEWS b/NEWS
index 48ae502250..2c2a4660f2 100644
--- a/NEWS
+++ b/NEWS
@@ -11,7 +11,7 @@ The "to be named" release. Major changes:
  * The storage sub-modules is now believed to be usable.
  * SMPI is now very stable (we pass most MPICH tests).
  * Model-Checking : 
-    - Verifcation of liveness properties is now available for SMPI applications 
+    - Verification of liveness properties is now available for SMPI applications 
     - New reduction of the state space based on the storage of visited states.
  Plus the usual load of bug fixes and small improvements