From e0f27f5ac3a8ff2c6d7cc3257cfafd76dcd99cfd Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sat, 10 Nov 2012 17:26:01 -0800
Subject: Improved DSD.

---
 src/base/abci/abcDec.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/base')

diff --git a/src/base/abci/abcDec.c b/src/base/abci/abcDec.c
index f5dce96e..94b4ef07 100644
--- a/src/base/abci/abcDec.c
+++ b/src/base/abci/abcDec.c
@@ -541,7 +541,7 @@ void Abc_TruthDecPerform( Abc_TtStore_t * p, int DecType, int fVerbose )
     }
     else if ( DecType == 4 )
     {
-        extern void Dau_DsdTestOne( word t, int i );
+//        extern void Dau_DsdTestOne( word t, int i );
         if ( p->nVars != 6 )
         {
             printf( "Currently only works for 6 variables.\n" );
@@ -554,7 +554,7 @@ void Abc_TruthDecPerform( Abc_TtStore_t * p, int DecType, int fVerbose )
         {
             if ( fVerbose )
                 printf( "%7d :      ", i );
-            Dau_DsdTestOne( *p->pFuncs[i], i );
+//            Dau_DsdTestOne( *p->pFuncs[i], i );
         }
     }
     else assert( 0 );
-- 
cgit v1.2.3