-
Alexandre Duret-Lutz authored
* src/ltlvisit/tostring.cc: Allow '.' in bare words while printing atomic propositions. * src/ltltest/bare.test: New file. * src/ltltest/Makefile.am: Add it.
64484e78
* src/ltlvisit/tostring.cc: Allow '.' in bare words while printing atomic propositions. * src/ltltest/bare.test: New file. * src/ltltest/Makefile.am: Add it.