diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-02-19 10:04:26 +0100 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-02-19 10:04:26 +0100 |
| commit | 0921a0b5bafb179f18f94561bece26a4d184fa31 (patch) | |
| tree | 602eb4b7962800d71483f4c689f77c26f40edb9c /ia32/Asmgenproof.v | |
| parent | fe57280950fc20b2d1650a022033484b152ae51d (diff) | |
| download | compcert-0921a0b5bafb179f18f94561bece26a4d184fa31.tar.gz compcert-0921a0b5bafb179f18f94561bece26a4d184fa31.zip | |
Changed the symbol function back to its old definition.
Diffstat (limited to 'ia32/Asmgenproof.v')
0 files changed, 0 insertions, 0 deletions