From 7e9ccf7a2328fa3599197c7db51a46b26e1fbb51 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Fri, 29 Jun 2012 13:15:40 -0700
Subject: [PATCH] Bug fix in &gla.

---
 src/aig/gia/giaAbsGla.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/aig/gia/giaAbsGla.c b/src/aig/gia/giaAbsGla.c
index 56c650118..bf8898929 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 )