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/cemitcodes.mli | 10 ++++++---- kernel/retypeops.ml | 10 ++++++---- kernel/retypeops.mli | 10 ++++++---- 3 files changed, 18 insertions(+), 12 deletions(-) (limited to 'kernel') diff --git a/kernel/cemitcodes.mli b/kernel/cemitcodes.mli index 41cc641dc8..9184164504 100644 --- a/kernel/cemitcodes.mli +++ b/kernel/cemitcodes.mli @@ -1,9 +1,11 @@ (************************************************************************) -(* v * The Coq Proof Assistant / The Coq Development Team *) -(*