X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/489bcae35330739133ed32fb9b120a3b92e752d0..ffe8ce65fd9a8e18a0469f26f067c3ea6d5d60d4:/doc/doxygen/options.doc

diff --git a/doc/doxygen/options.doc b/doc/doxygen/options.doc
index 6abd7455fa..f8a018ed3f 100644
--- 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