diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-09-05 13:12:17 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-09-05 13:12:17 +0200 |
commit | effcbf7fab15673f10dfc2d455cb723b29515d5b (patch) | |
tree | f635daff407a4f1b773cda33c4a0399a145ed5ac /arm/Asmgen.v | |
parent | 64a1e734dfe24194bafd33cff1fbe4d9e1cfdf14 (diff) | |
download | compcert-effcbf7fab15673f10dfc2d455cb723b29515d5b.tar.gz compcert-effcbf7fab15673f10dfc2d455cb723b29515d5b.zip |
Removed some implict arguments.
Also changed Local Open to Open Local.
Diffstat (limited to 'arm/Asmgen.v')
0 files changed, 0 insertions, 0 deletions