Merge pull request #1143 from TristanCacqueray/patch-1

Fix typo "of of"
HoTT · Jul 24, 2023 · cab2004 · cab2004
2 parents 4715f71 + d2ab068
commit cab2004
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/references.bib b/references.bib
@@ -989,7 +989,7 @@ @article{Church:1940tu
 	Author = {Alonzo Church},
 	Journal = {Journal of Symbolic Logic},
 	Pages = {56--68},
-	Title = {A formulation of of the simple theory of types},
+	Title = {A formulation of the simple theory of types},
 	Volume = {5},
 	Year = {1940}}