Preface: fix minor typo

idris-hackers · Aug 3, 2017 · 5f6bdd3 · 5f6bdd3
1 parent 8bdb5b4
commit 5f6bdd3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/Preface.lidr b/src/Preface.lidr
@@ -376,7 +376,7 @@ search engines.
 
 \todo[inline]{See
 \href{https://github.com/idris-hackers/software-foundations/issues/25}{\#25} and
-\href{ https://github.com/idris-hackers/software-foundations/issues/30}{\#30}}
+\href{https://github.com/idris-hackers/software-foundations/issues/30}{\#30}}
 
 \todo[inline]{Generate a "release" after the Rel chapter and update this
 subsection accordingly.}