-
Alexandre Duret-Lutz authored
* spot/misc/minato.cc: Use bdd_ite() to exercise one of the function rewritten in the next patch, and also because that is supposedly faster.
d7b3d05e
* spot/misc/minato.cc: Use bdd_ite() to exercise one of the function rewritten in the next patch, and also because that is supposedly faster.