-
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
To find the state of this project's repository at the time of any of these versions, check out the tags.