From: Gabriel Corona Date: Tue, 9 Jun 2015 07:59:05 +0000 (+0200) Subject: [doc] Fix header X-Git-Tag: v3_12~641 X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/7382d4a5f4eb1c7d72c54330ee2c90a55366e8a5 [doc] Fix header --- diff --git a/doc/doxygen/options.doc b/doc/doxygen/options.doc index 55e860ba45..038f4fa735 100644 --- a/doc/doxygen/options.doc +++ b/doc/doxygen/options.doc @@ -384,7 +384,7 @@ be removed from the memory and some cycles might be missed. By default, no state is snapshotted and cycles cannot be detected. -\subsection options_modelchecking_termination, model-check/termination, Non termination detection +\subsection options_modelchecking_termination model-check/termination, Non termination detection The \b model-check/termination configuration item can be used to report if a non-termination execution path has been found. This is a path with a cycle