diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2014-04-26 09:38:29 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2014-04-26 09:38:29 +0000 |
| commit | 95d98cd9782c0577b0c7290f6535b29e7bd4cd41 (patch) | |
| tree | 5d07d4ee94ae191b769e7d269c236dd2a357753a | |
| parent | 9c1d005ebb21b9eff2804ac4d80450251ffe6b5a (diff) | |
ID comments are so passé.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14687 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rw-r--r-- | asmcomp/deadcode.ml | 4 | ||||
| -rw-r--r-- | asmcomp/deadcode.mli | 4 |
2 files changed, 2 insertions, 6 deletions
diff --git a/asmcomp/deadcode.ml b/asmcomp/deadcode.ml index a92ab681c..d3d0fcb90 100644 --- a/asmcomp/deadcode.ml +++ b/asmcomp/deadcode.ml @@ -4,14 +4,12 @@ (* *) (* Xavier Leroy, projet Gallium, INRIA Rocquencourt *) (* *) -(* Copyright 2012 Institut National de Recherche en Informatique et *) +(* Copyright 2014 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) (* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) -(* $Id: linearize.ml 11156 2011-07-27 14:17:02Z doligez $ *) - (* Dead code elimination: remove pure instructions whose results are not used. *) diff --git a/asmcomp/deadcode.mli b/asmcomp/deadcode.mli index c313e1057..6aafae054 100644 --- a/asmcomp/deadcode.mli +++ b/asmcomp/deadcode.mli @@ -4,14 +4,12 @@ (* *) (* Xavier Leroy, projet Gallium, INRIA Rocquencourt *) (* *) -(* Copyright 2012 Institut National de Recherche en Informatique et *) +(* Copyright 2014 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) (* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) -(* $Id: linearize.ml 11156 2011-07-27 14:17:02Z doligez $ *) - (* Dead code elimination: remove pure instructions whose results are not used. *) |