diff options
Diffstat (limited to 'src/opt/dau/dauDsd.c')
| -rw-r--r-- | src/opt/dau/dauDsd.c | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/opt/dau/dauDsd.c b/src/opt/dau/dauDsd.c index dc34a22a..7ffe63be 100644 --- a/src/opt/dau/dauDsd.c +++ b/src/opt/dau/dauDsd.c @@ -1900,7 +1900,9 @@ int Dau_DsdDecompose( word * pTruth, int nVarsInit, int fSplitPrime, int fWriteT void Dau_DsdPrintFromTruth( FILE * pFile, word * pTruth, int nVarsInit ) { char pRes[DAU_MAX_STR]; - Dau_DsdDecompose( pTruth, nVarsInit, 0, 1, pRes ); + word pTemp[DAU_MAX_WORD]; + Abc_TtCopy( pTemp, pTruth, Abc_TtWordNum(nVarsInit), 0 ); + Dau_DsdDecompose( pTemp, nVarsInit, 0, 1, pRes ); fprintf( pFile, "%s\n", pRes ); } |