From 9e858cae7d40459142409e793133eb939a0ffc47 Mon Sep 17 00:00:00 2001
From: Vincent Laporte
Date: Fri, 22 Feb 2019 08:34:32 +0000
Subject: write_uint63.ml: add header

---
 kernel/write_uint63.ml | 12 ++++++++++--
 1 file changed, 10 insertions(+), 2 deletions(-)

(limited to 'kernel')

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
-- 
cgit v1.2.3