From 4a74b7ced954bbe963daa92c960f3ace99037546 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Fri, 27 Sep 2013 14:45:55 -0700
Subject: Generation of plain AIG after mapping.

---
 src/opt/dau/dauDsd.c | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/opt')

diff --git a/src/opt/dau/dauDsd.c b/src/opt/dau/dauDsd.c
index 05cfc485..dc34a22a 100644
--- a/src/opt/dau/dauDsd.c
+++ b/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 );
-- 
cgit v1.2.3