last update broke the parser inadvertently, fixing...

diff --git a/src/parser/Makefile.am b/src/parser/Makefile.am
index 51a833c261597366d34b0578b741877688dac600..dbb6e559fed3f41d4fc13ac9c202795d221cd91d 100644 (file)
--- a/src/parser/Makefile.am
+++ b/src/parser/Makefile.am
@@ -31,6 +31,7 @@ libcvc4parser_noinst_la_LDFLAGS = $(ANTLR_LDFLAGS)
 libcvc4parser_noinst_la_LIBADD = \
        @builddir@/smt/libparsersmt.la \
        @builddir@/smt2/libparsersmt2.la \
+       @builddir@/cvc/libparsercvc.la \
        @builddir@/../lib/libreplacements.la
 
 libcvc4parser_la_SOURCES =