-
Alexandre Duret-Lutz authored
* src/tgba/bdddict.cc, src/tgba/bdddict.hh: Hide the bdd_allocator dependency in a bdd_dict_priv class that is not defined publicly.
9775dfdd
* src/tgba/bdddict.cc, src/tgba/bdddict.hh: Hide the bdd_allocator dependency in a bdd_dict_priv class that is not defined publicly.