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 /cparser/Cleanup.ml | |
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 'cparser/Cleanup.ml')
0 files changed, 0 insertions, 0 deletions