2 files changed, 0 insertions, 8 deletions
diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c
index ed20c0f7..d1acef62 100644
--- a/src/base/abci/abc.c
+++ b/src/base/abci/abc.c
@@ -823,10 +823,6 @@ void Abc_Init( Abc_Frame_t * pAbc )
         extern void Dar_LibStart();
         Dar_LibStart();
     }
-    {
-        extern void Dau_DsdTest();
-        Dau_DsdTest();
-    }
 } 
 
 /**Function*************************************************************
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 )