From 9747fbb508d1d1f0df19b2cd514875acc933a823 Mon Sep 17 00:00:00 2001 From: Henrik Tidefelt Date: Mon, 6 Jul 2020 10:18:58 +0200 Subject: [PATCH] Minor improvement of 'itemize' source readability --- chapters/equations.tex | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/chapters/equations.tex b/chapters/equations.tex index aff1cf198..705425348 100644 --- a/chapters/equations.tex +++ b/chapters/equations.tex @@ -358,7 +358,8 @@ \subsubsection{Application of the Single-assignment Rule to When-Equations}\doub The Modelica single-assignment rule (\autoref{synchronous-data-flow-principle-and-single-assignment-rule}) has implications for when-equations: \begin{itemize} -\item Two when-equations may \emph{not} define the same variable. +\item + Two when-equations may \emph{not} define the same variable. \begin{nonnormative} Without this rule this may actually happen for the erroneous @@ -388,7 +389,8 @@ \subsubsection{Application of the Single-assignment Rule to When-Equations}\doub below or using the statement version of the when-construct, see \autoref{when-statements}. \end{nonnormative} -\item When-equations involving elsewhen-parts can be used to resolve +\item + When-equations involving elsewhen-parts can be used to resolve assignment conflicts since the first of the when/elsewhen parts are given higher priority than later ones: \begin{nonnormative}