fix: comment out the merge sign in errata.tex

enklht · enklht · commit 84a49e4eaf53 · 2025-06-26T19:56:16.000+12:00
diff --git a/errata.tex b/errata.tex
@@ -476,11 +476,11 @@
   & The text should be ``Show that for any $A,B:\UU$, the following type is equivalent to $\eqv A B$.  Can you extract from this a definition of a type satisfying the three desiderata of $\isequiv(f)$?''\\
   %
   \cref{thm:object-classifier}
-  & merge of 367864df
+  & % merge of 367864df
   & To maintain consistency, one line was added at the end of the computation of the composite equivalence in the proof.
   %
   \cref{thm:fiber-of-a-fibration}
-  & merge of edb908a2
+  & % merge of edb908a2
   & The type of $\proj{1}$ should be $(\sm{x:A}P(x))\to A$.
   %
   % Chapter 5

Original file line number	Diff line number	Diff line change
`@@ -476,11 +476,11 @@`
`476`	`476`	& The text should be ``Show that for any $A,B:\UU$, the following type is equivalent to $\eqv A B$. Can you extract from this a definition of a type satisfying the three desiderata of $\isequiv(f)$?''\\
`477`	`477`	`%`
`478`	`478`	`\cref{thm:object-classifier}`
`479`		`- & merge of 367864df`
	`479`	`+ & % merge of 367864df`
`480`	`480`	`& To maintain consistency, one line was added at the end of the computation of the composite equivalence in the proof.`
`481`	`481`	`%`
`482`	`482`	`\cref{thm:fiber-of-a-fibration}`
`483`		`- & merge of edb908a2`
	`483`	`+ & % merge of edb908a2`
`484`	`484`	`& The type of $\proj{1}$ should be $(\sm{x:A}P(x))\to A$.`
`485`	`485`	`%`
`486`	`486`	`% Chapter 5`