mirror of
https://github.com/AdaCore/why3.git
synced 2026-02-12 12:34:55 -08:00
f6f258cb47
This is a cherry-pick of commit "remove_unused: also delete metas
when needed" (7cf69fa03d) from Inria
repository fixing the issue with metas when associated to a symbol
that is removed by the transformation.
Change-Id: Ife617b84ec2573f343e28fa24f87299312ab94a5
Depends-On: Id05dbfccfee26cdd8e892173ba321a8415915f1e
Depends-On: I3e8b0758bc0ab5c8ed579a7ae24bdd5dda72a60f