Protocol spec: silence overfull/underfull hbox warnings from the theorem list.

Signed-off-by: Daira Hopwood <daira@jacaranda.org>
This commit is contained in:
Daira Hopwood 2019-07-26 10:50:48 +01:00
parent 6dc1d7fff0
commit cad4baf2e1
1 changed files with 1 additions and 0 deletions

View File

@ -12987,6 +12987,7 @@ the cost of batched verification is therefore
\notsprout{
\lpart{List of Theorems and Lemmata}{theorems}
\hfuzz=10pt \hbadness=10000
\listtheorems{theorem,lemma}
}