remove unused/broken check build target

diff --git a/src/theory/Makefile.am b/src/theory/Makefile.am
index 992796ebbc3aae998950a053cb4c3b9bf5ef4656..1341c048abfac4b9f57b783989ba17f7750ac21b 100644 (file)
--- a/src/theory/Makefile.am
+++ b/src/theory/Makefile.am
@@ -78,15 +78,3 @@ theory_traits.h: theory_traits_template.h mktheorytraits @top_builddir@/src/theo
                $< \
                `cat @top_builddir@/src/theory/.subdirs` \
        > $@) || (rm -f $@ && exit 1)
-
-AM_V_CHECK = $(am__v_CHECK_$(V))
-am__v_CHECK_ = $(am__v_CHECK_$(AM_DEFAULT_VERBOSITY))
-am__v_CHECK_0 = @echo "  CHECK " $@;
-
-.PHONY: theory-properties
-theory-properties:
-       $(AM_V_CHECK)@srcdir@/mktheorytraits \
-               theory_traits_template.h \
-               `cat @top_builddir@/src/theory/.subdirs` \
-       > /dev/null
-all-local check-local: theory-properties