-
Alexandre Duret-Lutz authored
We used to output 0 and 1, but "spin -f" does not under understand that. * src/ltlvisit/tostring.cc (kw_spin): Output true and false instead of 0 and 1.
85260341
We used to output 0 and 1, but "spin -f" does not under understand that. * src/ltlvisit/tostring.cc (kw_spin): Output true and false instead of 0 and 1.