Signed-off-by: SeongJae Park <sj38.park@xxxxxxxxx>
---
formal/ppcmem.tex | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/formal/ppcmem.tex b/formal/ppcmem.tex
index 743a891..7dc9675 100644
--- a/formal/ppcmem.tex
+++ b/formal/ppcmem.tex
@@ -233,7 +233,7 @@ The next section describes how to run this litmus test.
\subsection{Running a Litmus Test}
\label{sec:formal:Running a Litmus Test}
-Although litmus tests may be run interactively via
+Litmus tests may be run interactively via
\url{http://www.cl.cam.ac.uk/~pes20/ppcmem/}, which can help build an
understanding of the memory model.
However, this approach requires that the user manually carry out the
--
2.10.0
--
To unsubscribe from this list: send the line "unsubscribe perfbook" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
