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

[pspp-builds.git] / src / language / tests / automake.mk

diff --git a/src/language/tests/automake.mk b/src/language/tests/automake.mk
index 54d95107d94794011bb9f184550f8b10ae55c87b..6268422e812b0461b6e57e7722e03d4a7c846d7e 100644 (file)
--- a/src/language/tests/automake.mk
+++ b/src/language/tests/automake.mk
@@ -11,8 +11,6 @@ language_tests_sources = \
        src/language/tests/format-guesser-test.c \
        src/language/tests/float-format.c \
        src/language/tests/moments-test.c \
-       src/language/tests/model-checker.c \
-       src/language/tests/model-checker.h \
        src/language/tests/paper-size.c \
        src/language/tests/pool-test.c