Bug fix in MiniLUT code.

2f993e58 · Alan Mishchenko · d3d56440 · 2f993e58
Commit 2f993e58 authored Sep 13, 2021 by Alan Mishchenko
Hide whitespace changes
Inline Side-by-side

Showing with 1 additions and 1 deletions

src/aig/gia/giaMini.c
+1 -1

No files found.
--- a/src/aig/gia/giaMini.c
+++ b/src/aig/gia/giaMini.c
@@ -602,7 +602,7 @@ int * Abc_FrameReadMiniLutSwitching( Abc_Frame_t * pAbc )
    pRes = ABC_CALLOC( int, Vec_IntSize(pAbc->vCopyMiniLut) );
    Vec_IntForEachEntry( pAbc->vCopyMiniLut, iObj, i )
        if ( iObj >= 0 )
-            pRes[i] = Vec_IntEntry( vSwitching, iObj );
+            pRes[i] = Vec_IntEntry( vSwitching, Abc_Lit2Var(iObj) );
    Vec_IntFree( vSwitching );
    return pRes;
 }