model-checker: Kill dependencies and move back to libpspp.

[pspp-builds.git] / src / libpspp / automake.mk

diff --git a/src/libpspp/automake.mk b/src/libpspp/automake.mk
index dc512bb288907f59cc668e1ea989e8c7858f6916..1564569cb226e52878ea445fd7d094124efddd7f 100644 (file)
--- a/src/libpspp/automake.mk
+++ b/src/libpspp/automake.mk
@@ -47,6 +47,8 @@ src_libpspp_libpspp_la_SOURCES = \
        src/libpspp/message.h \
        src/libpspp/misc.c \
        src/libpspp/misc.h \
+       src/libpspp/model-checker.c \
+       src/libpspp/model-checker.h \
        src/libpspp/msg-locator.c \
        src/libpspp/msg-locator.h \
        src/libpspp/pool.c \