From 863527832a75ecd15e2b6057661763f0279b2b0d Mon Sep 17 00:00:00 2001 From: Gabriel Corona Date: Tue, 15 Mar 2016 15:04:49 +0100 Subject: [PATCH] [mc] Fix typos --- src/mc/PageStore.hpp | 4 ++-- src/mc/mc_config.cpp | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/src/mc/PageStore.hpp b/src/mc/PageStore.hpp index ac0ac6f531..2ec8ec99e0 100644 --- a/src/mc/PageStore.hpp +++ b/src/mc/PageStore.hpp @@ -24,8 +24,8 @@ namespace mc { /** @brief Storage for snapshot memory pages * * The first (lower) layer of the per-page snapshot mechanism is a page - * store: it's responsibility is to store immutable shareable - * reference-counted memory pages independently of the snapshoting + * store: its responsibility is to store immutable shareable + * reference-counted memory pages independently of the snapshotting * logic. Snapshot management and representation, soft-dirty tracking is * handled to an higher layer. READMORE * diff --git a/src/mc/mc_config.cpp b/src/mc/mc_config.cpp index 56446845ee..58a6b3146a 100644 --- a/src/mc/mc_config.cpp +++ b/src/mc/mc_config.cpp @@ -138,7 +138,7 @@ void _mc_cfg_cb_snapshot_fds(const char *name, int pos) { if (_sg_cfg_init_status && !_sg_do_model_check) xbt_die - ("You are specifying a value to enable/disable the use of FD snapshoting, but model-checking was not activated at config time (through bu the program was not runned under the model-checker (with simgrid-mc)). This won't work, sorry."); + ("You are specifying a value to enable/disable the use of FD snapshotting, but model-checking was not activated at config time (through bu the program was not runned under the model-checker (with simgrid-mc)). This won't work, sorry."); _sg_mc_snapshot_fds = xbt_cfg_get_boolean(_sg_cfg_set, name); } -- 2.20.1