From: wolf Date: Tue, 21 Dec 1999 13:33:50 +0000 (+0000) Subject: Urg, formatting error... X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=7bc2bbb9879718a3f9133fe3650f00cec598046c;p=dealii-svn.git Urg, formatting error... git-svn-id: https://svn.dealii.org/trunk@2101 0785d39b-7218-0410-832d-ea1e28bc413d --- 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}