Commit d9fb4d1d authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz
Browse files

* src/ltltest/Makefile.am (genltl_SOURCES): Add missing variable.

parent 48e4c13d
2010-12-07 Alexandre Duret-Lutz <adl@lrde.epita.fr>
* src/ltltest/Makefile.am (genltl_SOURCES): Add missing variable.
2010-12-07 Alexandre Duret-Lutz <adl@lrde.epita.fr>
* README: Mention bench/ltlclases/.
......
......@@ -47,6 +47,7 @@ noinst_PROGRAMS = \
randltl
equals_SOURCES = equals.cc
genltl_SOURCES = genltl.cc
ltl2dot_SOURCES = readltl.cc
ltl2dot_CPPFLAGS = $(AM_CPPFLAGS) -DDOTTY
ltl2text_SOURCES = readltl.cc
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment