s/formated/formatted/

diff --git a/doc/doxygen/options.doc b/doc/doxygen/options.doc
index 6abd745..f8a018e 100644 (file)
--- a/doc/doxygen/options.doc
+++ b/doc/doxygen/options.doc
@@ -306,7 +306,7 @@ void MC_assert(int prop);
 
 If you want to specify liveness properties (beware, that's
 experimental), you have to pass them on the command line, specifying
-the name of the file containing the property, as formated by the
+the name of the file containing the property, as formatted by the
 ltl2ba program.
 
 \verbatim

diff --git a/src/xbt/config.c b/src/xbt/config.c
index 0c23d46..69389e7 100644 (file)
--- a/src/xbt/config.c
+++ b/src/xbt/config.c
@@ -667,7 +667,7 @@ void xbt_cfg_set_parse(xbt_cfg_t cfg, const char *options) {
     val = strchr(name, ':');
     if (!val) {
       /* don't free(optionlist_cpy) here, 'name' points inside it */
-      xbt_die("Option '%s' badly formated. Should be of the form 'name:value'",
+      xbt_die("Option '%s' badly formatted. Should be of the form 'name:value'",
               name);
     }
     *(val++) = '\0';

diff --git a/teshsuite/xbt/log_large/log_large_test.tesh b/teshsuite/xbt/log_large/log_large_test.tesh
index 32a8cf9..a53218e 100644 (file)
--- a/teshsuite/xbt/log_large/log_large_test.tesh
+++ b/teshsuite/xbt/log_large/log_large_test.tesh
@@ -115,7 +115,7 @@ $ $SG_EXENV_TEST ${bindir:=.}/log_large_test "--log=root.fmt:%m%n"
 >
 > Done (strlen>10210)
 
-p Check that the dynamic version of the log formated layout works
+p Check that the dynamic version of the log formatted layout works
 $ $SG_EXENV_TEST ${bindir:=.}/log_large_test "--log=root.fmt:%m%n"
 > This is a very large message:
 > 0