From c27143530141141a0cd95cf42655c23d628962b2 Mon Sep 17 00:00:00 2001
From: Daniel R. Grayson
Date: Wed, 1 Aug 2018 19:42:35 +0200
Subject: Fix broken link.

---
 doc/sphinx/biblio.bib | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/sphinx/biblio.bib b/doc/sphinx/biblio.bib
index 3574bf6750..30dda2973f 100644
--- a/doc/sphinx/biblio.bib
+++ b/doc/sphinx/biblio.bib
@@ -252,7 +252,7 @@ s},
   booktitle   = {TYPES},
   year        = 2002,
   crossref    = {DBLP:conf/types/2002},
-  url         = {draft at \url{http://www.irif.fr/~letouzey/download/extraction2002.pdf}}
+  url         = {http://www.irif.fr/~letouzey/download/extraction2002.pdf}
 }
 
 @InProceedings{Luttik97specificationof,
-- 
cgit v1.2.3