>From 6030baea7bd1226024265db45efd771dacf430d3 Mon Sep 17 00:00:00 2001
From: Akira Yokosawa <akiyks@xxxxxxxxx>
Date: Sun, 21 Jul 2019 17:05:21 +0900
Subject: [PATCH 1/6] dyntickrcu: Fix trivial typo
Signed-off-by: Akira Yokosawa <akiyks@xxxxxxxxx>
---
formal/dyntickrcu.tex | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/formal/dyntickrcu.tex b/formal/dyntickrcu.tex
index 4b7a8ade..a7dd2d74 100644
--- a/formal/dyntickrcu.tex
+++ b/formal/dyntickrcu.tex
@@ -1189,7 +1189,7 @@ This effort provided some lessons (re)learned:
a need to re-think your design.}
\end{enumerate}
-To this last point, it turn out that there is a much simpler solution to
+To this last point, it turns out that there is a much simpler solution to
the dynticks problem, which is presented in the next section.
\subsubsection{Simplicity Avoids Formal Verification}
--
2.17.1
