diff --git a/LICENSE b/LICENSE
index 9887738b1c..2167079161 100644
--- a/LICENSE
+++ b/LICENSE
@@ -1,8 +1,8 @@
 All files in this distribution are part of the CompCert verified compiler.
 
 The CompCert verified compiler is Copyright 2004, 2005, 2006, 2007,
-2008, 2009, 2010, 2011, 2012, 2013, 2014 Institut National de Recherche en
-Informatique et en Automatique (INRIA).
+2008, 2009, 2010, 2011, 2012, 2013, 2014, 2015 Institut National de
+Recherche en Informatique et en Automatique (INRIA).
 
 The CompCert verified compiler is distributed under the terms of the
 INRIA Non-Commercial License Agreement given below.  This is a