diff options
| -rw-r--r-- | doc/sphinx/biblio.bib | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/sphinx/biblio.bib b/doc/sphinx/biblio.bib index 9cfcd7ae64..c74d8f540c 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, |