\qco{} is intended to be used for short snippets and suppresses line
breaks in its argument by using \nbco{} in its definition.
Commit 88fd12717c61 ("formal/spinhint: Use \qco{} instead of``\co{}''")
applied \qco{} for a long error message.
It causes "Underfull \hbox" of large badness preceding it.
In perfbook-1c.log and perfbook-eb.log:
Underfull \hbox (badness 10000) in paragraph at lines 277--281
[]\T1/ntxtlf/m/n/10 (+20) If you see a mes-sage from [][][][] say-ing:
[]
In perfbook.log:
Underfull \hbox (badness 2495) in paragraph at lines 277--281
[]\T1/ntxtlf/m/n/10 (+20) If you see a mes-sage from [][][][] say-ing:
[]
Revert the change and permit line breaks in the middle of the quoted
message.
Signed-off-by: Akira Yokosawa <akiyks@xxxxxxxxx>
Cc: 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 9bb5f5749470..16764aef8620 100644
--- a/formal/spinhint.tex
+++ b/formal/spinhint.tex
@@ -275,7 +275,7 @@ Given a source file \path{qrcu.spin}, one can use the following commands:
10.5\,GB of memory even with the \co{-DCOLLAPSE} flag.
If you see a message from \co{./pan} saying:
- \qco{error: max search depth too small}, you need to increase
+ ``\co{error: max search depth too small}'', you need to increase
the maximum depth by a \co{-mN} option for a complete search.
The default is \co{-m10000}.
--
2.25.1
