From 35472e260eb609438eda7de9744a104ef8ef906d Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Thu, 6 Jun 2019 11:22:08 +0200
Subject: Update headers of files that were stuck on older headers.

Most of these files were introduced after #6543 but used older headers
copied from somewhere else.
---
 kernel/retypeops.mli | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)

(limited to 'kernel/retypeops.mli')

diff --git a/kernel/retypeops.mli b/kernel/retypeops.mli
index f30c541c3f..f4497be44b 100644
--- a/kernel/retypeops.mli
+++ b/kernel/retypeops.mli
@@ -1,9 +1,11 @@
 (************************************************************************)
-(*  v      *   The Coq Proof Assistant  /  The Coq Development Team     *)
-(* <O___,, *   INRIA - CNRS - LIX - LRI - PPS - Copyright 1999-2016     *)
+(*         *   The Coq Proof Assistant / The Coq Development Team       *)
+(*  v      *   INRIA, CNRS and contributors - Copyright 1999-2019       *)
+(* <O___,, *       (see CREDITS file for the list of authors)           *)
 (*   \VV/  **************************************************************)
-(*    //   *      This file is distributed under the terms of the       *)
-(*         *       GNU Lesser General Public License Version 2.1        *)
+(*    //   *    This file is distributed under the terms of the         *)
+(*         *     GNU Lesser General Public License Version 2.1          *)
+(*         *     (see LICENSE file for the text of the license)         *)
 (************************************************************************)
 
 (** We can take advantage of non-cumulativity of SProp to avoid fully
-- 
cgit v1.2.3