diff --git a/Makefile.am b/Makefile.am index 21e1bf6..af6f35e 100644 --- a/Makefile.am +++ b/Makefile.am @@ -142,7 +142,6 @@ src_backend_libbackend_la_LDFLAGS = \ # Please keep this in sorted order: src_backend_libbackend_la_SOURCES = \ - src/backend/dummy_policy.cc \ src/backend/history.cc \ src/backend/observed_subject.cc \ src/backend/policy.cc \ @@ -157,8 +156,8 @@ src_backend_libbackend_la_SOURCES = \ src/backend/string_utils.cc \ src/backend/user_interrupt_exception.cc -noinst_HEADERS += \ - src/backend/dummy_policy.hh \ +pkginclude_HEADERS = \ + config.h \ src/backend/history.hh \ src/backend/observed_subject.hh \ src/backend/policy.hh \ diff --git a/src/main.cc b/src/main.cc index dccbb3b..56920d0 100644 --- a/src/main.cc +++ b/src/main.cc @@ -37,8 +37,6 @@ #include "standard_io.hh" #include "text_simulation.hh" -#include "backend/dummy_policy.hh" - #include #include