diff --git a/src/Print.ml b/src/Print.ml
index 48db0a0e9c052acf0bb20abea9dff58273fbdb65..94471e21293fcdc68aef1a4d10dcfd104e02efa3 100644
--- a/src/Print.ml
+++ b/src/Print.ml
@@ -1,3 +1,16 @@
+(******************************************************************************)
+(*                                                                            *)
+(*                                  Monolith                                  *)
+(*                                                                            *)
+(*                              François Pottier                              *)
+(*                                                                            *)
+(*  Copyright Inria. All rights reserved. This file is distributed under the  *)
+(*  terms of the GNU Lesser General Public License as published by the Free   *)
+(*  Software Foundation, either version 3 of the License, or (at your         *)
+(*  option) any later version, as described in the file LICENSE.              *)
+(*                                                                            *)
+(******************************************************************************)
+
 include PPrint
 
 type 'a printer =