From d466bb823772db9b989beda8f4deb10d78148016 Mon Sep 17 00:00:00 2001
From: assia <assia.mahboubi@inria.fr>
Date: Fri, 20 Nov 2020 16:30:01 +0100
Subject: [PATCH] copyright

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

diff --git a/tex/main.tex b/tex/main.tex
index 8e0946a5..51b0d232 100755
--- a/tex/main.tex
+++ b/tex/main.tex
@@ -97,7 +97,7 @@
 ~\vfill
 \thispagestyle{empty}
 
-\noindent Copyright \copyright\ 2018 Assia Mahboubi and Enrico Tassi and Yves Bertot and Georges Gonthier\\
+\noindent Copyright \copyright\ 2020 Yves Bertot and Georges Gonthier and Assia Mahboubi and Enrico Tassi\\
 
 % \noindent \textsc{Published by us}\\ % Publisher