diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-10-12 13:12:27 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-10-12 13:12:27 +0200 |
commit | 6f622eba1bb242bbbda107a2ad36245c69841360 (patch) | |
tree | 5e281befb4bbbd0a06d6f51bf774066c622df60b /flocq/Calc/Fcalc_div.v | |
parent | 3ab947ce345e9d18ddcda57d8f88b2a9b8f5d267 (diff) | |
download | compcert-6f622eba1bb242bbbda107a2ad36245c69841360.tar.gz compcert-6f622eba1bb242bbbda107a2ad36245c69841360.zip |
Fix minor typo introduced by refactoring of debug information.
The base register for the stack allocated variables should be
r1 and not r2 under powerpc. Bug 17392
Diffstat (limited to 'flocq/Calc/Fcalc_div.v')
0 files changed, 0 insertions, 0 deletions