From 53d8c7da8e34d2013ae7681822545b4e3d6798c6 Mon Sep 17 00:00:00 2001 From: Henrik Tidefelt Date: Wed, 3 Jun 2020 01:01:34 +0200 Subject: [PATCH] Change one \textbf into \lstinline --- chapters/statements.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/chapters/statements.tex b/chapters/statements.tex index d48a4c4c4..9889e296c 100644 --- a/chapters/statements.tex +++ b/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