diff options
Diffstat (limited to 'aarch64/Asmgen.v')
-rw-r--r-- | aarch64/Asmgen.v | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/aarch64/Asmgen.v b/aarch64/Asmgen.v index 33fcf34b..c25454e0 100644 --- a/aarch64/Asmgen.v +++ b/aarch64/Asmgen.v @@ -7,6 +7,7 @@ (* Xavier Leroy INRIA Paris-Rocquencourt *) (* David Monniaux CNRS, VERIMAG *) (* Cyril Six Kalray *) +(* Léo Gourdin UGA, VERIMAG *) (* *) (* Copyright Kalray. Copyright VERIMAG. All rights reserved. *) (* This file is distributed under the terms of the INRIA *) |