From 7bc2bbb9879718a3f9133fe3650f00cec598046c Mon Sep 17 00:00:00 2001 From: wolf Date: Tue, 21 Dec 1999 13:33:50 +0000 Subject: [PATCH] Urg, formatting error... git-svn-id: https://svn.dealii.org/trunk@2101 0785d39b-7218-0410-832d-ea1e28bc413d --- deal.II/base/include/base/thread_manager.h | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/deal.II/base/include/base/thread_manager.h b/deal.II/base/include/base/thread_manager.h index f7cf192b74..e90adb1aeb 100644 --- a/deal.II/base/include/base/thread_manager.h +++ b/deal.II/base/include/base/thread_manager.h @@ -141,8 +141,7 @@ * the #params# structure exists long enough and that objects to which * elements of #params# point exist long enough. There are at least * two strategies for this problem: - * \begin{verbatim} - * + * \begin{enumerate} * \item Allocate the parameters object on the stack: one could modify * the example as follows: * \begin{verbatim} @@ -220,7 +219,7 @@ * different parameter objects), as well as using the #spawn_n# * function. Destruction of the parameter object remains with the * calling function, as in the original example. - * \end{verbatim} + * \end{enumerate} * * * \subsection{Example of use of this class} -- 2.39.5