
This file was originally part of Objective Caml

          Xavier Leroy, projet Cristal, INRIA Rocquencourt

Copyright (C) 1996 INRIA
  INRIA (Institut National de Recherche en Informatique et en
         Automatique)

All rights reserved.

This file is distributed under the terms of the GNU Library General
Public License version 2, with the special exception on linking
described below. See the GNU Library General Public License version
2 for more details (enclosed in the file licenses/LGPLv2).

As a special exception to the GNU Library General Public License,
you may link, statically or dynamically, a "work that uses the Library"
with a publicly distributed version of the Library to
produce an executable file containing portions of the Library, and
distribute that executable file under terms of your choice, without
any of the additional requirements listed in clause 6 of the GNU
Library General Public License.
By "a publicly distributed version of the Library",
we mean either the unmodified Library as
distributed by INRIA, or a modified version of the Library that is
distributed under the conditions defined in clause 2 of the GNU
Library General Public License.  This exception does not however
invalidate any other reasons why the executable file might be
covered by the GNU Library General Public License.

File modified by CEA (Commissariat à l'énergie atomique et aux
                      énergies alternatives).

