From d39a9b5eac9369a91d75b9a170c5590a976671e4 Mon Sep 17 00:00:00 2001 From: Xavier Leroy Date: Thu, 11 Jan 2018 15:12:02 +0100 Subject: Update copyright section So that it is consistent with the LICENSE file. --- README.md | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) (limited to 'README.md') diff --git a/README.md b/README.md index 54b2012b..1e368208 100644 --- a/README.md +++ b/README.md @@ -25,9 +25,10 @@ professional support, can be purchased from information. ## Copyright -The CompCert verified compiler is Copyright 2004, 2005, 2006, 2007, -2008, 2009, 2010, 2011, 2012, 2013, 2014, 2015 Institut National de -Recherche en Informatique et en Automatique (INRIA). +The CompCert verified compiler is Copyright Institut National de +Recherche en Informatique et en Automatique (INRIA) and +AbsInt Angewandte Informatik GmbH. + ## Contact General discussions on CompCert take place on the -- cgit