diff options
Diffstat (limited to 'src/base/abc/abcRenode.c')
| -rw-r--r-- | src/base/abc/abcRenode.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/base/abc/abcRenode.c b/src/base/abc/abcRenode.c index b17e2394..c77c0d70 100644 --- a/src/base/abc/abcRenode.c +++ b/src/base/abc/abcRenode.c @@ -60,7 +60,7 @@ Abc_Ntk_t * Abc_NtkRenode( Abc_Ntk_t * pNtk, int nThresh, int nFaninMax, int fCn assert( nFaninMax > 1 ); // print a warning about choice nodes - if ( Abc_NtkCountChoiceNodes( pNtk ) ) + if ( Abc_NtkGetChoiceNum( pNtk ) ) printf( "Warning: The choice nodes in the AIG are removed by renoding.\n" ); // define the boundary |