Merge PR #9624: [Kernel] Simpler generation of opcode files

Ack-by: SkySkimmer
Reviewed-by: Zimmi48
Reviewed-by: ejgallego
Ack-by: gares
Reviewed-by: ppedrot
Ack-by: rgrinberg
Ack-by: vbgl

1 files changed, 10 insertions, 2 deletions

diff --git a/kernel/write_uint63.ml b/kernel/write_uint63.ml
index 0fcaf4f10a..beb59ce205 100644
--- a/kernel/write_uint63.ml
+++ b/kernel/write_uint63.ml
@@ -1,10 +1,18 @@
-(** Equivalent of rm -f *)
+(************************************************************************)
+(*         *   The Coq Proof Assistant / The Coq Development Team       *)
+(*  v      *   INRIA, CNRS and contributors - Copyright 1999-2018       *)
+(* <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          *)
+(*         *     (see LICENSE file for the text of the license)         *)
+(************************************************************************)
 
+(** Equivalent of rm -f *)
 let safe_remove f =
   try Unix.chmod f 0o644; Sys.remove f with _ -> ()
 
 (** * Generate an implementation of 63-bit arithmetic *)
-
 let ml_file_copy input output =
   safe_remove output;
   let i = open_in input in