Update the years.

AbsInt · Jun 12, 2015 · 0e9eded · 0e9eded
1 parent a46f192
commit 0e9eded
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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