diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-06-29 13:15:40 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-06-29 13:15:40 -0700 |
| commit | 7e9ccf7a2328fa3599197c7db51a46b26e1fbb51 (patch) | |
| tree | 5966c1abddc0f81d8f62a9b3fb7a3adcff9e92c6 /src | |
| parent | 99c4a1be5f291391377bccbfadb09d6747bf5ad4 (diff) | |
| download | abc-7e9ccf7a2328fa3599197c7db51a46b26e1fbb51.tar.gz abc-7e9ccf7a2328fa3599197c7db51a46b26e1fbb51.tar.bz2 abc-7e9ccf7a2328fa3599197c7db51a46b26e1fbb51.zip | |
Bug fix in &gla.
Diffstat (limited to 'src')
| -rw-r--r-- | src/aig/gia/giaAbsGla.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/gia/giaAbsGla.c b/src/aig/gia/giaAbsGla.c index 56c65011..bf889892 100644 --- a/src/aig/gia/giaAbsGla.c +++ b/src/aig/gia/giaAbsGla.c @@ -950,7 +950,7 @@ int Gia_GlaPerform( Gia_Man_t * pAig, Gia_ParVta_t * pPars ) vCore = Gla_ManUnsatCore( p, f, p->vCla2Obj, p->pSat, pPars->nConfLimit, p->pPars->fVerbose, &Status, &nConfls ); p->timeUnsat += clock() - clk2; assert( (vCore != NULL) == (Status == 1) ); - Vec_IntFree( vCore ); + Vec_IntFreeP( &vCore ); if ( Status == -1 ) // resource limit is reached break; if ( Status == 0 ) |