From 4ab108c7a45cce1e7e0a272e0577552d5d6077a8 Mon Sep 17 00:00:00 2001
From: Vincent Rouvreau <10407034+VincentRouvreau@users.noreply.github.com>
Date: Mon, 23 May 2022 08:36:44 +0200
Subject: Update biblio/bibliography.bib

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

(limited to 'biblio/bibliography.bib')

diff --git a/biblio/bibliography.bib b/biblio/bibliography.bib
index 8c9ee84a..8462e731 100644
--- a/biblio/bibliography.bib
+++ b/biblio/bibliography.bib
@@ -167,7 +167,7 @@ language={English},
     number = {RR-8436},
     year = {2013},
     month = Dec,
-    pdf = {https://hal.inria.fr/hal-00922572/PDF/RR-8436.pdf},
+    pdf = {https://hal.inria.fr/hal-00922572v5/document},
 }
 
 
-- 
cgit v1.2.3