From: Morgan Deters Date: Fri, 1 Oct 2010 22:05:05 +0000 (+0000) Subject: last update broke the parser inadvertently, fixing... X-Git-Tag: cvc5-1.0.0~8838 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=2801ed49a3bef7306249844e35118cf7ce6fd2c7;p=cvc5.git last update broke the parser inadvertently, fixing... --- diff --git a/src/parser/Makefile.am b/src/parser/Makefile.am index 51a833c26..dbb6e559f 100644 --- 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 =