Another minor README update

ocaml · Jan 19, 2021 · c0b72f8 · c0b72f8
1 parent b50c8c8
commit c0b72f8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -95,7 +95,7 @@ See LICENSE file for details.
 ## AUTHORS
 
 * Antoine Miné, Sorbonne Université, formerly at ENS Paris.
-* Xavier Leroy, INRIA Paris-Rocquencourt.
+* Xavier Leroy, Collège de France, formerly at Inria Paris.
 * Pascal Cuoq, TrustInSoft.
 * Christophe Troestler (toplevel module)