diff options
| author | Bruno Schmitt <bruno@oschmitt.com> | 2017-08-29 09:40:51 +0200 |
|---|---|---|
| committer | Bruno Schmitt <bruno@oschmitt.com> | 2017-08-29 09:40:51 +0200 |
| commit | ba8112ff3a64d527cf6c8a6c0d9385ca27b52c27 (patch) | |
| tree | b8575b157b1019275f5f1da040b18d3c36fd6e11 /src/aig/gia/giaSatoko.c | |
| parent | d0f81fcf2952b8a46548c0dd74f95fa1cd0a504f (diff) | |
| download | abc-ba8112ff3a64d527cf6c8a6c0d9385ca27b52c27.tar.gz abc-ba8112ff3a64d527cf6c8a6c0d9385ca27b52c27.tar.bz2 abc-ba8112ff3a64d527cf6c8a6c0d9385ca27b52c27.zip | |
Fixing bronken C++ build; Satoko internal header, solver.h, should not be used in other packages
Diffstat (limited to 'src/aig/gia/giaSatoko.c')
| -rw-r--r-- | src/aig/gia/giaSatoko.c | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/aig/gia/giaSatoko.c b/src/aig/gia/giaSatoko.c index 5e04502d..aaf9daaa 100644 --- a/src/aig/gia/giaSatoko.c +++ b/src/aig/gia/giaSatoko.c @@ -21,7 +21,6 @@ #include "gia.h" #include "sat/cnf/cnf.h" #include "sat/satoko/satoko.h" -#include "sat/satoko/solver.h" ABC_NAMESPACE_IMPL_START @@ -133,7 +132,7 @@ int Gia_ManSatokoCallOne( Gia_Man_t * p, satoko_opts_t * opts, int iOutput ) if ( pSat ) { status = satoko_solve( pSat ); - Cost = (unsigned)pSat->stats.n_conflicts; + Cost = satoko_stats(pSat)->n_conflicts; satoko_destroy( pSat ); } else |