diff options
| author | Mathias Preiner <mathias.preiner@gmail.com> | 2017-10-03 16:09:38 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-10-03 16:09:38 -0700 |
| commit | b01ea5105589569428be93d121e02ae0c933aef3 (patch) | |
| tree | 6d70c3d9b77ca7da3588f4ffa29bbc608524b6de /config | |
| parent | bca2ee1c42332abc8deb57d620b0fc32b5394634 (diff) | |
Add Cryptominisat and LFSC to --show-config output. (#1194)
Also removed obsolete CUDD related code.
Diffstat (limited to 'config')
| -rw-r--r-- | config/lfsc.m4 | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/config/lfsc.m4 b/config/lfsc.m4 index eabc71564..8f9ff0ee6 100644 --- a/config/lfsc.m4 +++ b/config/lfsc.m4 @@ -8,7 +8,6 @@ have_liblfsc=0 LFSC_LIBS= LFSC_LDFLAGS= -have_liblfsc=0 if test "$with_lfsc" = no; then AC_MSG_RESULT([no, LFSC disabled by user]) elif test -n "$with_lfsc"; then |