diff options
Diffstat (limited to 'src/opt/dau/dauNonDsd.c')
-rw-r--r-- | src/opt/dau/dauNonDsd.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/opt/dau/dauNonDsd.c b/src/opt/dau/dauNonDsd.c index a6410ebc..e5cc58e1 100644 --- a/src/opt/dau/dauNonDsd.c +++ b/src/opt/dau/dauNonDsd.c @@ -828,7 +828,7 @@ void Dau_DecTrySets( word * pInit, int nVars ) assert( nVars <= 16 ); memcpy( p, pInit, sizeof(word) * Abc_TtWordNum(nVars) ); vSets = Dau_DecFindSets( p, nVars ); - Dau_DsdPrintFromTruth( stdout, p, nVars ); + Dau_DsdPrintFromTruth( p, nVars ); printf( "This %d-variable function has %d decomposable variable sets:\n", nVars, Vec_IntSize(vSets) ); Vec_IntForEachEntry( vSets, Entry, i ) { |