From c90f9cda4c435b8e8aef9fd3ea5b4524a20326b8 Mon Sep 17 00:00:00 2001
From: John Wickerson <j.wickerson@imperial.ac.uk>
Date: Wed, 18 Nov 2020 16:27:41 +0000
Subject: Update on Overleaf.

---
 introduction.tex | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'introduction.tex')

diff --git a/introduction.tex b/introduction.tex
index 166d092..e2215b0 100644
--- a/introduction.tex
+++ b/introduction.tex
@@ -50,9 +50,9 @@ The contributions of this paper are as follows:
 
 \begin{center}
 \ifANONYMOUS
-\url{https://github.com/ymherklotz/vericert}
+\url{https://github.com/anonymous/}
 \else 
-
+\url{https://github.com/ymherklotz/vericert}
 \fi
 \end{center}
 
-- 
cgit 

