-
Alexandre Duret-Lutz authored
For #192. * spot/tl/formula.cc: Avoid calling twice the same function. * spot/twaalgos/gtec/gtec.cc: Do not shadow a member variable.
65955b44
For #192. * spot/tl/formula.cc: Avoid calling twice the same function. * spot/twaalgos/gtec/gtec.cc: Do not shadow a member variable.