Small bug fix in FXCH.

621fbcbd · Bruno Schmitt · 118eea84 · 621fbcbd
Commit 621fbcbd authored Aug 18, 2016 by Bruno Schmitt
Show whitespace changes
Inline Side-by-side

Showing with 1 additions and 1 deletions

src/opt/fxch/FxchMan.c
+1 -1

No files found.
--- a/src/opt/fxch/FxchMan.c
+++ b/src/opt/fxch/FxchMan.c
@@ -670,7 +670,7 @@ void Fxch_ManUpdate( Fxch_Man_t* pFxchMan,
    }

    /* Deal with SCC */
-    if ( Vec_IntSize( pFxchMan->vSCC ) && pFxchMan->nExtDivs < 17 )
+    if ( Vec_IntSize( pFxchMan->vSCC ) )
    {
        Vec_IntUniqifyPairs( pFxchMan->vSCC );
        assert( Vec_IntSize( pFxchMan->vSCC ) % 2 == 0 );