Code for `dyntickRCU-irqnn-ssl.spin` has a too long line. Because the
line breaks the layout, this commit reduces font size of the sample code
for better layout.
Suggested-by: Akira Yokosawa <akiyks@xxxxxxxxx>
Signed-off-by: SeongJae Park <sj38.park@xxxxxxxxx>
---
formal/dyntickrcu.tex | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/formal/dyntickrcu.tex b/formal/dyntickrcu.tex
index d0b2c6e..a63d324 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:
-{ \scriptsize
+{ \fontsize{6.7pt}{8pt}\selectfont
\begin{verbatim}
1 proctype grace_period()
2 {
--
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
