summaryrefslogtreecommitdiffstats
path: root/src
diff options
context:
space:
mode:
Diffstat (limited to 'src')
-rw-r--r--src/base/abci/abc.c2
-rw-r--r--src/opt/dau/dauDsd.c1
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 );