Skip to content
  • Alexandre Duret-Lutz's avatar
    Print F"proc.st" as Fproc.st. · 64484e78
    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