diff --git a/source/basic.tex b/source/basic.tex index 0f0473e3d9..42e9f0d750 100644 --- a/source/basic.tex +++ b/source/basic.tex @@ -6242,7 +6242,7 @@ with respect to a value computation $B$ of $M$ satisfies the conditions: \begin{itemize} -\item $A$ happens before $B$ and +\item $A$ happens before $B$, and \item there is no other \indextext{side effects}% side effect $X$ to $M$ such that $A$