Invalidate packing after mapping is updated.

c89f987d · Alan Mishchenko · 652b2792 · c89f987d
Commit c89f987d authored May 09, 2016 by Alan Mishchenko
Hide whitespace changes
Inline Side-by-side

Showing with 1 additions and 0 deletions

src/aig/gia/giaSatLut.c
+1 -0

No files found.
--- a/src/aig/gia/giaSatLut.c
+++ b/src/aig/gia/giaSatLut.c
@@ -1213,6 +1213,7 @@ void Gia_ManLutSat( Gia_Man_t * pGia, int LutSize, int nNumber, int nImproves, i
    if ( p->fVerbose )
    Sbl_ManPrintRuntime( p );
    Sbl_ManStop( p );
+    Vec_IntFreeP( &pGia->vPacking );
 }

 ////////////////////////////////////////////////////////////////////////