From 7040c2191006cf1963680d148198b3917de4e952 Mon Sep 17 00:00:00 2001
From: AlistairStewart <32751032+AlistairStewart@users.noreply.github.com>
Date: Fri, 19 Jun 2020 13:30:24 +0200
Subject: [PATCH] made URLs work

---
 pdf/grandpa.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pdf/grandpa.tex b/pdf/grandpa.tex
index 1891b62..70746e5 100644
--- a/pdf/grandpa.tex
+++ b/pdf/grandpa.tex
@@ -94,7 +94,7 @@ We formalize the abstraction of a \emph{finality gadget} that runs along any blo
 %To this end we formalise the finality gadget problem and 
  
 
-The combination of GRANDPA with a classic block production mechanism like GHOST~\cite{lewenberg15inclusive} results in the existing deployment of the polkadot network \footnote{https://polkadot.network} which provides fast finality under good network conditions and protects the clients without compromising the liveness when under attack. The implementation of GRANDPA is available on github \cite{LINK}.
+The combination of GRANDPA with a classic block production mechanism like GHOST~\cite{lewenberg15inclusive} results in the existing deployment of the polkadot network \footnote{\url{https://polkadot.network}} which provides fast finality under good network conditions and protects the clients without compromising the liveness when under attack. The implementation of GRANDPA is available on github \footnote{See \url{https://github.com/paritytech/finality-grandpa} and \url{https://github.com/paritytech/substrate/tree/master/client/finality-grandpa}}.
 
 
 In summary we make the following contributions: