Sylvain Dailler authored
It was previously possible to keep a constant when there was a removed symbol in its definition. This changes makes removals be propagated to other constants. This patch mainly adds a variable that keeps track of already removed declarations.9a360820
To find the state of this project's repository at the time of any of these versions, check out the tags.