From 2801ed49a3bef7306249844e35118cf7ce6fd2c7 Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Fri, 1 Oct 2010 22:05:05 +0000 Subject: [PATCH] last update broke the parser inadvertently, fixing... --- src/parser/Makefile.am | 1 + 1 file changed, 1 insertion(+) 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 = -- 2.30.2