diff options
author | Morgan Deters <mdeters@gmail.com> | 2010-10-01 22:05:05 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2010-10-01 22:05:05 +0000 |
commit | 2801ed49a3bef7306249844e35118cf7ce6fd2c7 (patch) | |
tree | 958c11d7c3e73e30b900cbe42912e05ad89e5e90 /src/parser | |
parent | 96d1c3daff7efdd2d853864fb820bc7cf413624e (diff) |
last update broke the parser inadvertently, fixing...
Diffstat (limited to 'src/parser')
-rw-r--r-- | src/parser/Makefile.am | 1 |
1 files changed, 1 insertions, 0 deletions
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 = |