diff options
author | Michael Schmidt <github@mschmidt.me> | 2017-12-15 14:06:49 +0100 |
---|---|---|
committer | Michael Schmidt <github@mschmidt.me> | 2017-12-15 14:06:49 +0100 |
commit | 57f97c6ba73ce1269d31f563341ec3eefe931d06 (patch) | |
tree | 0ebcc80a901a41d7672169905a62624beed11631 /lib | |
parent | 9b98d49bbc105d998f9a63868d4b23bfab8d4cf7 (diff) | |
download | compcert-57f97c6ba73ce1269d31f563341ec3eefe931d06.tar.gz compcert-57f97c6ba73ce1269d31f563341ec3eefe931d06.zip |
Reintroduce informative comments for Pflid_lbl/Pflis_lbl in target printer
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions