summaryrefslogtreecommitdiffstats
path: root/src/base/abci/abcNpn.c
diff options
context:
space:
mode:
Diffstat (limited to 'src/base/abci/abcNpn.c')
-rw-r--r--src/base/abci/abcNpn.c4
1 files changed, 0 insertions, 4 deletions
diff --git a/src/base/abci/abcNpn.c b/src/base/abci/abcNpn.c
index 85664f6b..9494cba2 100644
--- a/src/base/abci/abcNpn.c
+++ b/src/base/abci/abcNpn.c
@@ -202,10 +202,6 @@ void Abc_TruthNpnPerform( Abc_TtStore_t * p, int NpnType, int fVerbose )
{
for ( i = 0; i < p->nFuncs; i++ )
{
- extern void Dau_DsdTestOne( word t, int i );
- assert( p->nVars == 6 );
- Dau_DsdTestOne( *p->pFuncs[i], i );
-
if ( fVerbose )
printf( "%7d : ", i );
if ( fVerbose )