This plot is conditionally included from three places.
Fix remaining one commit 6cebe12f7e29 ("formal: Move formal/data to
CodeSamples/formal/data") failed to update.
Fixes: 6cebe12f7e29 ("formal: Move formal/data to CodeSamples/formal/data")
Signed-off-by: Akira Yokosawa <akiyks@xxxxxxxxx>
---
formal/formal.tex | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/formal/formal.tex b/formal/formal.tex
index 55a5ed98..c79360ed 100644
--- a/formal/formal.tex
+++ b/formal/formal.tex
@@ -262,7 +262,7 @@ validation, and that is the insurance policy.
\IfTwoColumn{
\begin{figure*}
\centering
-\resizebox{6in}{!}{\includegraphics{formal/RCU-test-ratio.pdf}}
+\resizebox{6in}{!}{\includegraphics{CodeSamples/formal/data/RCU-test-ratio.pdf}}
\caption{Linux-Kernel RCU Test Code}
\label{fig:formal:Linux-Kernel RCU Test Code}
\end{figure*}
--
2.17.1
