Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
src
ltlvisit
tostring.cc
Find file
Blame
History
Permalink
Fix LTL output for Spin.
· 7438fa3c
Alexandre Duret-Lutz
authored
May 05, 2012
* src/ltlvisit/tostring.cc (spin_kw): Output X, not ().
7438fa3c