Generation of plain AIG after mapping.

src/base/abci/abc.c

@@ -33385,7 +33385,7 @@ usage:
 ***********************************************************************/
 int Abc_CommandAbc9Test( Abc_Frame_t * pAbc, int argc, char ** argv )
 {
-    Gia_Man_t * pTemp = NULL;
+//    Gia_Man_t * pTemp = NULL;
     int c, fVerbose = 0;
     int nFrames = 10;
     int fSwitch = 0;

src/opt/dau/dauDsd.c

@@ -1321,6 +1321,7 @@ static inline int Dau_Dsd6DecomposeTripleVarsOuter( Dau_Dsd_t * p, word  * pTrut
     Dau_Dsd_t P1, * p1 = &P1;
     word tCof0, tCof1;
     p1->fSplitPrime = 0;
+    p1->fWriteTruth = p->fWriteTruth;
     // move this variable to the top
     ABC_SWAP( int, pVars[v], pVars[nVars-1] );
     Abc_TtSwapVars( pTruth, nVars, v, nVars-1 );