From 1e7b5d118c1166fdd9fab1742ea71a8d02d5dd6e Mon Sep 17 00:00:00 2001 From: Jan Schultke Date: Tue, 1 Aug 2023 14:32:01 +0200 Subject: [PATCH] [intro.races] p13 - add missing serial comma between items --- source/basic.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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$