-
Alexandre Duret-Lutz authored
* src/eltlparse/Makefile.am, src/ltlvisit/randomltl.cc, src/ltlvisit/simplify.cc, src/ltlvisit/snf.cc, src/ltlvisit/snf.hh: Fix GPL to version 2 or later.
25aca9ab
* src/eltlparse/Makefile.am, src/ltlvisit/randomltl.cc, src/ltlvisit/simplify.cc, src/ltlvisit/snf.cc, src/ltlvisit/snf.hh: Fix GPL to version 2 or later.