diff --git a/ChangeLog b/ChangeLog index 0b6a6e216..8907c2769 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,7 @@ +2010-12-07 Alexandre Duret-Lutz + + * src/ltltest/Makefile.am (genltl_SOURCES): Add missing variable. + 2010-12-07 Alexandre Duret-Lutz * README: Mention bench/ltlclases/. diff --git a/src/ltltest/Makefile.am b/src/ltltest/Makefile.am index 1ab89725e..4bf4c9fff 100644 --- a/src/ltltest/Makefile.am +++ b/src/ltltest/Makefile.am @@ -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