Skip to content
  • Alexandre Duret-Lutz's avatar
    * src/ltlvisit/formlength.cc: Rename as ... · f17af7a7
    Alexandre Duret-Lutz authored
    * src/ltlvisit/length.cc: ... this.
    * src/ltlvisit/length.hh: New file, extracted from ...
    * src/ltlvisit/reducform.hh: ... here.
    * src/ltlvisit/Makefile.am (ltlvisit_HEADERS): Add length.hh.
    (libltlvisit_la_SOURCES): Rename formlength.cc as length.cc.
    * src/ltltest/reduc.cc: Include length.hh.
    f17af7a7