diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-10-24 16:23:50 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-10-24 16:23:50 +0200 |
commit | 34768a3c2ed8a2ee09786cd7e56fe3a7e7491efb (patch) | |
tree | 9c36f87071c5b4cf7eb7b5d74059860ad6cc8524 /flocq/Calc | |
parent | c96c50577569c6077c42e756bbf12d31d9c82717 (diff) | |
download | compcert-34768a3c2ed8a2ee09786cd7e56fe3a7e7491efb.tar.gz compcert-34768a3c2ed8a2ee09786cd7e56fe3a7e7491efb.zip |
Prefix ais annotations with location.
The file and line information are now stored as comment string at
the start of each annotation.
Bug 22462
Diffstat (limited to 'flocq/Calc')
0 files changed, 0 insertions, 0 deletions