diff options
Diffstat (limited to 'src/base/abci/abcMv.c')
| -rw-r--r-- | src/base/abci/abcMv.c | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/base/abci/abcMv.c b/src/base/abci/abcMv.c index d589c3e7..3f597fcd 100644 --- a/src/base/abci/abcMv.c +++ b/src/base/abci/abcMv.c @@ -19,7 +19,10 @@ ***********************************************************************/ #include "base/abc/abc.h" + +#ifdef ABC_USE_CUDD #include "misc/extra/extraBdd.h" +#endif ABC_NAMESPACE_IMPL_START @@ -28,6 +31,8 @@ ABC_NAMESPACE_IMPL_START /// DECLARATIONS /// //////////////////////////////////////////////////////////////////////// +#ifdef ABC_USE_CUDD + typedef struct Mv_Man_t_ Mv_Man_t; struct Mv_Man_t_ { @@ -365,6 +370,7 @@ void Abc_MvDecompose( Mv_Man_t * p ) Cudd_RecursiveDeref( p->dd, bCube ); } +#endif //////////////////////////////////////////////////////////////////////// /// END OF FILE /// |