>From 36e5015882b9e157e6aa8d66c589398dbca02d86 Mon Sep 17 00:00:00 2001
From: Akira Yokosawa <akiyks@xxxxxxxxx>
Date: Wed, 28 Dec 2016 20:30:25 +0900
Subject: [PATCH 4/5] Revert "formal/dyntickrcu: Adjust font size of sample code"
This reverts commit c7c5e8a1829e60349cc4eace0479e7ac37ec859d.
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 75eb93f..50e87d8 100644
--- a/formal/dyntickrcu.tex
+++ b/formal/dyntickrcu.tex
@@ -1252,7 +1252,7 @@ and finally lines~32-43 model \co{rcu_irq_exit()}.
The \co{grace_period()} process then becomes as follows:
-{ \fontsize{6.7pt}{8pt}\selectfont
+{ \scriptsize
\begin{verbatim}
1 proctype grace_period()
2 {
--
2.7.4
--
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
