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/Machine.mli | |
| parent | ccda0e12fd38bc0ab7b932b03264cd8154843b58 (diff) | |
| download | compcert-c1492881a211b30bf4e18732da1744eeae13a445.tar.gz compcert-c1492881a211b30bf4e18732da1744eeae13a445.zip | |
Fixed one error message and removed two comments.
Diffstat (limited to 'cparser/Machine.mli')
0 files changed, 0 insertions, 0 deletions