fix unit test linking issue

diff --git a/src/Makefile.am b/src/Makefile.am
index bf20c9f77e2663e39fb16327a57f0af6c218d1e6..de9aa0339f51fc8a6924da9b6848ac79961eb650 100644 (file)
--- a/src/Makefile.am
+++ b/src/Makefile.am
@@ -28,7 +28,7 @@ libcvc4_la_LDFLAGS = -version-info $(LIBCVC4_VERSION)
 # as a C library, which messes up exception handling support)
 nodist_EXTRA_libcvc4_noinst_la_SOURCES = dummy.cpp
 nodist_EXTRA_libcvc4_la_SOURCES = dummy.cpp
-libcvc4_noinst_la_SOURCES =
+libcvc4_noinst_la_SOURCES = subversion_versioninfo.cpp
 libcvc4_la_SOURCES = subversion_versioninfo.cpp
 libcvc4_la_LIBADD = \
        @builddir@/util/libutil.la \