Signed-off-by: SeongJae Park <sj38.park@xxxxxxxxx>
---
formal/spinhint.tex | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/formal/spinhint.tex b/formal/spinhint.tex
index e91d458..73ebe8e 100644
--- a/formal/spinhint.tex
+++ b/formal/spinhint.tex
@@ -409,7 +409,7 @@ Given a source file \path{qrcu.spin}, one can use the following commands:
This actually searches the state space. The number of states
can reach into the tens of millions with very small state
machines, so you will need a machine with large memory.
- For example, qrcu.spin with 3 readers and 2 updaters required
+ For example, \path{qrcu.spin} with 3 readers and 2 updaters required
2.7GB of memory.
If you aren't sure whether your machine has enough memory,
--
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
