-
Alexandre Duret-Lutz authored
* src/tgbaalgos/emptiness.cc (emptiness_check_instantiator::construct): Set *err = 0 on success. This avoids problem with the python bindings always converting *err to a string and sometimes failing to do so when err was not initialized.
a01034e5