diff options
author | KC Sivaramakrishnan <kc@kcsrk.info> | 2018-03-12 15:50:56 +0000 |
---|---|---|
committer | KC Sivaramakrishnan <kc@kcsrk.info> | 2018-03-12 15:50:56 +0000 |
commit | 4b8d95140e1d7eed6ac9f1416b8ed92718e88921 (patch) | |
tree | 3e512b10fadf75564461cac300f4c1c376da19a7 /asmcomp/printmach.ml | |
parent | adef404d99242f953460d4fac11b008b859d6478 (diff) | |
parent | 0c0884bd87a99d08a6185355fe6754ff13a29dc1 (diff) | |
download | ocaml-4b8d95140e1d7eed6ac9f1416b8ed92718e88921.tar.gz |
Merge updates from 4.04.2
Diffstat (limited to 'asmcomp/printmach.ml')
-rw-r--r-- | asmcomp/printmach.ml | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/asmcomp/printmach.ml b/asmcomp/printmach.ml index 16efd644da..3c389cf208 100644 --- a/asmcomp/printmach.ml +++ b/asmcomp/printmach.ml @@ -1,12 +1,12 @@ (**************************************************************************) -(* *) -(* OCaml *) -(* *) -(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) -(* *) -(* Copyright 1996 Institut National de Recherche en Informatique et *) +(* *) +(* OCaml *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1996 Institut National de Recherche en Informatique et *) (* en Automatique. *) -(* *) +(* *) (* All rights reserved. This file is distributed under the terms of *) (* the GNU Lesser General Public License version 2.1, with the *) (* special exception on linking described in the file LICENSE. *) |