diff options
Diffstat (limited to 'src/misc/extra/extraBddCas.c')
-rw-r--r-- | src/misc/extra/extraBddCas.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/misc/extra/extraBddCas.c b/src/misc/extra/extraBddCas.c index 14de2d2b..0416a0d2 100644 --- a/src/misc/extra/extraBddCas.c +++ b/src/misc/extra/extraBddCas.c @@ -16,7 +16,7 @@ ***********************************************************************/ -#include "extra.h" +#include "extraBdd.h" ABC_NAMESPACE_IMPL_START @@ -146,7 +146,7 @@ Extra_bddEncodingBinary( DdNode * bResult; DdNode * bCube, * bTemp, * bProd; - assert( nVars >= Extra_Base2Log(nFuncs) ); + assert( nVars >= Abc_Base2Log(nFuncs) ); bResult = b0; Cudd_Ref( bResult ); for ( i = 0; i < nFuncs; i++ ) |