Change one \textbf into \lstinline

chapters/statements.tex

@@ -36,7 +36,7 @@ \subsection{Execution of an algorithm in a model}\doublelabel{execution-of-an-al
   A non-discrete variable is initialized with its start value (i.e. the
   value of the start-attribute).
 \item
-  A discrete variable v is initialized with \textbf{pre}(v).
+  A discrete variable \lstinline!v! is initialized with \lstinline!pre(v)!.
 \item
   If at least one element of an array appears on the left hand side of
   the assignment operator, then the complete array is initialized in