diff options
Diffstat (limited to 'src/bool/bdc')
-rw-r--r-- | src/bool/bdc/bdcSpfd.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/bool/bdc/bdcSpfd.c b/src/bool/bdc/bdcSpfd.c index 26eccac7..54217282 100644 --- a/src/bool/bdc/bdcSpfd.c +++ b/src/bool/bdc/bdcSpfd.c @@ -299,7 +299,7 @@ Bdc_SpfdPrint( pNode + i, 1, vLevels, Truth ); goto cleanup; } } - pPerm = Abc_SortCost( Vec_IntArray(vWeight), c ); + pPerm = Abc_MergeSortCost( Vec_IntArray(vWeight), c ); assert( Vec_IntEntry(vWeight, pPerm[0]) <= Vec_IntEntry(vWeight, pPerm[c-1]) ); printf( "Best SPFD = %d.\n", Vec_IntEntry(vWeight, pPerm[c-1]) ); |