diff options
Diffstat (limited to 'asmcomp/closure.mli')
| -rw-r--r-- | asmcomp/closure.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/asmcomp/closure.mli b/asmcomp/closure.mli index f406603c2c..385ba175de 100644 --- a/asmcomp/closure.mli +++ b/asmcomp/closure.mli @@ -10,7 +10,7 @@ (* *) (***********************************************************************) -(* $Id$ *) +(* $Id: closure.mli 12858 2012-08-10 14:45:51Z maranget $ *) (* Introduction of closures, uncurrying, recognition of direct calls *) |