diff options
| -rw-r--r-- | src/base/abci/abc.c | 2 | ||||
| -rw-r--r-- | src/opt/dau/dauDsd.c | 1 |
2 files changed, 2 insertions, 1 deletions
diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c index 10b9e72e..e6d492c1 100644 --- a/src/base/abci/abc.c +++ b/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; 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 ); |