# | Line 7 | Line 7 | |
---|---|---|
7 | <use name=MitAna/Catalog> | |
8 | <use root> | |
9 | <lib name=Proof> | |
10 | + | <flags CXXFLAGS="-g"> |
11 | <export> | |
12 | <lib name=MitAnaTreeMod> | |
12 | – | <use name=MitAna/TAM> |
13 | – | <use name=MitAna/DataTree> |
14 | – | <use name=MitAna/DataUtil> |
15 | – | <use name=MitAna/Catalog> |
13 | <use root> | |
14 | </export> |
– | Removed lines |
+ | Added lines |
< | Changed lines |
> | Changed lines |