diff options
Diffstat (limited to 'src/sat/bsat/satTruth.h')
-rw-r--r-- | src/sat/bsat/satTruth.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/sat/bsat/satTruth.h b/src/sat/bsat/satTruth.h index 2f17b6f0..dcbf6526 100644 --- a/src/sat/bsat/satTruth.h +++ b/src/sat/bsat/satTruth.h @@ -77,7 +77,7 @@ extern void Tru_ManFree( Tru_Man_t * p ); extern word * Tru_ManVar( Tru_Man_t * p, int v ); extern word * Tru_ManFunc( Tru_Man_t * p, int h ); extern int Tru_ManInsert( Tru_Man_t * p, word * pTruth ); -extern int Tru_ManHandleMax( Tru_Man_t * p ); +//extern int Tru_ManHandleMax( Tru_Man_t * p ); ABC_NAMESPACE_HEADER_END |