From 17a9fe474427291797e37183956b2bc5c6434ec6 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Tue, 14 Jun 2016 00:30:09 +0200
Subject: Adding Coq headers.

---
 ltac/profile_ltac.ml          | 8 ++++++++
 ltac/profile_ltac.mli         | 8 ++++++++
 ltac/profile_ltac_tactics.ml4 | 8 ++++++++
 3 files changed, 24 insertions(+)

diff --git a/ltac/profile_ltac.ml b/ltac/profile_ltac.ml
index 4f982f1ebf..890b449a7b 100644
--- a/ltac/profile_ltac.ml
+++ b/ltac/profile_ltac.ml
@@ -1,3 +1,11 @@
+(************************************************************************)
+(*  v      *   The Coq Proof Assistant  /  The Coq Development Team     *)
+(* <O___,, *   INRIA - CNRS - LIX - LRI - PPS - Copyright 1999-2016     *)
+(*   \VV/  **************************************************************)
+(*    //   *      This file is distributed under the terms of the       *)
+(*         *       GNU Lesser General Public License Version 2.1        *)
+(************************************************************************)
+
 open Unicode
 open Pp
 open Printer
diff --git a/ltac/profile_ltac.mli b/ltac/profile_ltac.mli
index 0029b8b55b..bc4f90f04b 100644
--- a/ltac/profile_ltac.mli
+++ b/ltac/profile_ltac.mli
@@ -1,3 +1,11 @@
+(************************************************************************)
+(*  v      *   The Coq Proof Assistant  /  The Coq Development Team     *)
+(* <O___,, *   INRIA - CNRS - LIX - LRI - PPS - Copyright 1999-2016     *)
+(*   \VV/  **************************************************************)
+(*    //   *      This file is distributed under the terms of the       *)
+(*         *       GNU Lesser General Public License Version 2.1        *)
+(************************************************************************)
+
 val do_profile : string -> ('a * Tacexpr.ltac_call_kind) list -> 'b Proofview.tactic -> 'b Proofview.tactic
 
 val set_profiling : bool -> unit
diff --git a/ltac/profile_ltac_tactics.ml4 b/ltac/profile_ltac_tactics.ml4
index 8889bd13c6..a4ba5eab48 100644
--- a/ltac/profile_ltac_tactics.ml4
+++ b/ltac/profile_ltac_tactics.ml4
@@ -1,3 +1,11 @@
+(************************************************************************)
+(*  v      *   The Coq Proof Assistant  /  The Coq Development Team     *)
+(* <O___,, *   INRIA - CNRS - LIX - LRI - PPS - Copyright 1999-2016     *)
+(*   \VV/  **************************************************************)
+(*    //   *      This file is distributed under the terms of the       *)
+(*         *       GNU Lesser General Public License Version 2.1        *)
+(************************************************************************)
+
 (*i camlp4deps: "grammar/grammar.cma" i*)
 
 open Profile_ltac
-- 
cgit v1.2.3