From dd29ca30a6afe0ba384a8985957a5bbead031911 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sun, 14 Jul 2013 23:12:05 -0700
Subject: New technology mapper.

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

(limited to 'src/base/abci/abc.c')

diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c
index 601e0910..d942e41b 100644
--- a/src/base/abci/abc.c
+++ b/src/base/abci/abc.c
@@ -29587,8 +29587,8 @@ int Abc_CommandAbc9If2( Abc_Frame_t * pAbc, int argc, char ** argv )
     if ( pPars->fMap4Cnf )
         pPars->fUseDsd = 1;
     if ( pPars->fCutMin )
-//        pPars->fUseTruth = 1;
-        pPars->fUseDsd = 1;
+        pPars->fUseTruth = 1;
+//        pPars->fUseDsd = 1;
     // perform mapping
     pNew = Mpm_ManMappingTest( pAbc->pGia, pPars );
     Mpm_LibLutFree( pPars->pLib );
-- 
cgit v1.2.3