From 78176e7ffc5e3793b6d7b113b237b74d16e1d24f Mon Sep 17 00:00:00 2001 From: Gabriel Corona Date: Fri, 24 Jul 2015 16:21:52 +0200 Subject: [PATCH] NEWS: fix typo and indentation --- NEWS | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/NEWS b/NEWS index adbde2e120..9c9508addf 100644 --- a/NEWS +++ b/NEWS @@ -9,9 +9,9 @@ __ _____ _ __ ___(_) ___ _ __ |___ / / |___ \ * Surf internal cleanup: rename workstation into host. Option "workstation/model" now reads "host/model" * The model checker now runs in a separate process. - * The mocel checker has support for memory compaction of its snapshots. - * MC record/replay: a interesting path found by the modelchecker can be replayed - outside of the modelchecker. + * The model checker has support for memory compaction of its snapshots. + * MC record/replay: a interesting path found by the modelchecker can be + replayed outside of the modelchecker. _ _____ _ _ __ _____ _ __ ___(_) ___ _ __ |___ / / / | \ \ / / _ \ '__/ __| |/ _ \| '_ \ |_ \ | | | -- 2.20.1