diff options
author | François Pottier <francois.pottier@inria.fr> | 2015-11-23 18:06:43 +0100 |
---|---|---|
committer | François Pottier <francois.pottier@inria.fr> | 2015-11-23 18:06:43 +0100 |
commit | e20490e57b6098c330187e51908b8e1b9975e72e (patch) | |
tree | 844e2daefe379ae0b698163b8e140d0957b980b9 /runtime/arm/i64_utod.S | |
parent | cf417332491f1c2a738705d4f1d874e4edd4d636 (diff) | |
download | compcert-e20490e57b6098c330187e51908b8e1b9975e72e.tar.gz compcert-e20490e57b6098c330187e51908b8e1b9975e72e.zip |
Fix a typo in a syntax error message.
Diffstat (limited to 'runtime/arm/i64_utod.S')
0 files changed, 0 insertions, 0 deletions