-
Alexandre Duret-Lutz authored
* src/misc/acccompl.cc: Simplify both directions of the conversion. * src/misc/acccompl.hh: Pass bdds by reference.
a3b49f11
* src/misc/acccompl.cc: Simplify both directions of the conversion. * src/misc/acccompl.hh: Pass bdds by reference.