X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pspp-builds.git;a=blobdiff_plain;f=src%2Flibpspp%2Fautomake.mk;h=0c20643bbc71908cd818b1d1de81d9430ba40539;hp=4a14382af9dd15628192693cdcf5fe492db8fb7d;hb=95b074ff3;hpb=3aa5d735c587e0ba8ef616426f8e45f8a7bf1e2a

diff --git a/src/libpspp/automake.mk b/src/libpspp/automake.mk
index 4a14382a..0c20643b 100644
--- a/src/libpspp/automake.mk
+++ b/src/libpspp/automake.mk
@@ -47,8 +47,6 @@ 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 \