Mentions légales du service

Skip to content

Improve "remove_unused" transformation

Johannes Kanig requested to merge 695_remove_unused into master

When encountering an axiom with a dependency annotation, we store the ids used by the axiom in a map; when the dependent symbol then becomes used, we add all those ids back to the set of used ids.

Fixes #695 (closed)

Merge request reports