From 7382d4a5f4eb1c7d72c54330ee2c90a55366e8a5 Mon Sep 17 00:00:00 2001 From: Gabriel Corona Date: Tue, 9 Jun 2015 09:59:05 +0200 Subject: [PATCH] [doc] Fix header --- doc/doxygen/options.doc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- 2.20.1