-
Alexandre Duret-Lutz authored
* src/twa/bddprint.cc: Do not store a global shared_ptr to the bdddict used for printing (a simple pointer is enough), otherwise it risks being the last shared_ptr to be destroyed, and it might be destroyed after the unicity maps of the formulas.
ca95e4d1