diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2018-01-04 17:56:18 +0100 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2018-01-04 17:56:18 +0100 |
commit | b1455cc40ebf6bb00722ff128e702f83c9b4dca8 (patch) | |
tree | 01ec8183f2157b2ad413def6fe9f504592f700f3 /backend/Constpropproof.v | |
parent | ca9219d447c37038063f3d297c8f8195bb23e2f1 (diff) | |
download | compcert-b1455cc40ebf6bb00722ff128e702f83c9b4dca8.tar.gz compcert-b1455cc40ebf6bb00722ff128e702f83c9b4dca8.zip |
Remove duplicated code. Bug 20521
Diffstat (limited to 'backend/Constpropproof.v')
0 files changed, 0 insertions, 0 deletions