X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flanguage%2Ftests%2Fautomake.mk;h=6268422e812b0461b6e57e7722e03d4a7c846d7e;hb=3db80dc65b18355b719e8d56032400c753aa4eb7;hp=54d95107d94794011bb9f184550f8b10ae55c87b;hpb=9a331fe64eb814ae5c1322e21717a04fb254bf65;p=pspp-builds.git

diff --git a/src/language/tests/automake.mk b/src/language/tests/automake.mk
index 54d95107..6268422e 100644
--- 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