-
Alexandre Duret-Lutz authored
* src/tgbaalgos/weight.cc (inc_weight_handler) (dec_weight_handler): Remove these assertions that require the loop the be completed, and use break to exit ASAP.
2b5956c2
* src/tgbaalgos/weight.cc (inc_weight_handler) (dec_weight_handler): Remove these assertions that require the loop the be completed, and use break to exit ASAP.