Merge master into mc-process

[simgrid.git] / doc / doxygen / options.doc

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
 
 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
 ltl2ba program.
 
 \verbatim