From: Martin Quinson Date: Thu, 5 Jul 2012 13:14:11 +0000 (+0200) Subject: typo on option name X-Git-Tag: v3_8~328 X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/6b224a88aa3b0773379524ea55905c9f97616508 typo on option name --- diff --git a/doc/user_guide/doxygen/options.doc b/doc/user_guide/doxygen/options.doc index 09c2b0c208..dd5500aa68 100644 --- a/doc/user_guide/doxygen/options.doc +++ b/doc/user_guide/doxygen/options.doc @@ -313,7 +313,7 @@ liveness properties since it may break some cycles in the exploration that are important to the property validity. \verbatim ---cfg=model-check/reduce: +--cfg=model-check/reduction: \endverbatim For now, this configuration variable can take 2 values: