From a81f5ae1eef3637df7e71567fd719e4a57bfa46e Mon Sep 17 00:00:00 2001 From: Marion Guthmuller Date: Mon, 30 Sep 2013 17:47:15 +0200 Subject: [PATCH] model-checker : typo in NEWS file --- NEWS | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- 2.20.1