fix: add a newline after the description for logic-hprop in errata.tex

enklht · enklht · commit deb1d85ef004 · 2025-06-26T22:49:57.000+12:00
diff --git a/errata.tex b/errata.tex
@@ -411,7 +411,7 @@
   %
   \cref{subsec:logic-hprop}
   & 37-g0bd66c8
-  & In the discussion for $\Sigma$-types in the last paragraph, $A$ is an arbitrary type.
+  & In the discussion for $\Sigma$-types in the last paragraph, $A$ is an arbitrary type.\\
   %
   \cref{thm:retract-contr}
   & 95-gce0131f

Original file line number	Diff line number	Diff line change
`@@ -411,7 +411,7 @@`
`411`	`411`	`%`
`412`	`412`	`\cref{subsec:logic-hprop}`
`413`	`413`	`& 37-g0bd66c8`
`414`		`- & In the discussion for $\Sigma$-types in the last paragraph, $A$ is an arbitrary type.`
	`414`	`+ & In the discussion for $\Sigma$-types in the last paragraph, $A$ is an arbitrary type.\\`
`415`	`415`	`%`
`416`	`416`	`\cref{thm:retract-contr}`
`417`	`417`	`& 95-gce0131f`