diff options
author | François Pottier <francois.pottier@inria.fr> | 2015-10-26 16:42:04 +0100 |
---|---|---|
committer | François Pottier <francois.pottier@inria.fr> | 2015-10-26 16:42:04 +0100 |
commit | c1492881a211b30bf4e18732da1744eeae13a445 (patch) | |
tree | 2961aa4b14c7cd71ab6a045089c7a1e25ead1c45 /cparser/ExtendedAsm.ml | |
parent | ccda0e12fd38bc0ab7b932b03264cd8154843b58 (diff) | |
download | compcert-c1492881a211b30bf4e18732da1744eeae13a445.tar.gz compcert-c1492881a211b30bf4e18732da1744eeae13a445.zip |
Fixed one error message and removed two comments.
Diffstat (limited to 'cparser/ExtendedAsm.ml')
0 files changed, 0 insertions, 0 deletions