X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flibpspp%2Fautomake.mk;h=1564569cb226e52878ea445fd7d094124efddd7f;hb=3db80dc65b18355b719e8d56032400c753aa4eb7;hp=dc512bb288907f59cc668e1ea989e8c7858f6916;hpb=8af88c0b7ea2fe75df7e45497988ed0371006a86;p=pspp-builds.git

diff --git a/src/libpspp/automake.mk b/src/libpspp/automake.mk
index dc512bb2..1564569c 100644
--- 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 \