diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-10-12 19:09:42 +0200 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-10-12 19:09:42 +0200 |
| commit | 3b0bbd7a60771265ff81cc98310d413130ae4d79 (patch) | |
| tree | 7a77101325f2eb2c5a97488df0c44da218e40ddf /extraction | |
| parent | 9873f9ee01c6ccca88fd461d318e107ff303fe88 (diff) | |
| download | compcert-3b0bbd7a60771265ff81cc98310d413130ae4d79.tar.gz compcert-3b0bbd7a60771265ff81cc98310d413130ae4d79.zip | |
Changed definition of implem for debug information.
Instead of making each filed mutuable we use a reference to a record
of type implem. Now only the default implementation and the default
debug information need to be upated to add a new function.
Bug 17392.
Diffstat (limited to 'extraction')
0 files changed, 0 insertions, 0 deletions