diff options
Diffstat (limited to 'src/opt/dau/dauMerge.c')
-rw-r--r-- | src/opt/dau/dauMerge.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/opt/dau/dauMerge.c b/src/opt/dau/dauMerge.c index 2ce113be..08eaff73 100644 --- a/src/opt/dau/dauMerge.c +++ b/src/opt/dau/dauMerge.c @@ -717,7 +717,7 @@ Dau_DsdMergeStorePrintDefs( pS ); // assert( nVarsTotal <= 6 ); sprintf( pS->pOutput, "(%s%s)", pDsd0, pDsd1 ); pTruth = Dau_DsdToTruth( pS->pOutput, nVarsTotal ); - Status = Dau_DsdDecompose( pTruth, nVarsTotal, 0, pS->pOutput ); + Status = Dau_DsdDecompose( pTruth, nVarsTotal, 0, 1, pS->pOutput ); //printf( "%d ", Status ); if ( Status == -1 ) // did not find 1-step DSD return NULL; |