diff options
| author | Morgan Deters <mdeters@gmail.com> | 2010-12-14 21:07:46 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2010-12-14 21:07:46 +0000 |
| commit | 96ce991a4b8593f7ec831c3a9b40b214d2ac3761 (patch) | |
| tree | bf804dcc18a20394a6fba8ac4bed6932ca4c7c02 /src/printer | |
| parent | b44f183a75deea11fa379554b893b6656e1864b2 (diff) | |
congruence closure module now supports things other than APPLY_UF; ported from "arrays" branch to trunk
Diffstat (limited to 'src/printer')
| -rw-r--r-- | src/printer/Makefile.am | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/src/printer/Makefile.am b/src/printer/Makefile.am index 8fd50d823..ca3cbacf1 100644 --- a/src/printer/Makefile.am +++ b/src/printer/Makefile.am @@ -16,6 +16,3 @@ libprinter_la_SOURCES = \ smt2/smt2_printer.cpp \ cvc/cvc_printer.h \ cvc/cvc_printer.cpp - -libprinter_la_LIBADD = \ - @builddir@/../lib/libreplacements.la |