From c4446189a9ca5a187a2ede26a7102866d2c5ae8e Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Thu, 14 Jan 2016 20:42:22 -0800
Subject: Changes to PDR to compute f-inf clauses and import invariant (or
 clauses) as a network.

---
 src/proof/pdr/pdrMan.c | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/proof/pdr/pdrMan.c')

diff --git a/src/proof/pdr/pdrMan.c b/src/proof/pdr/pdrMan.c
index 9a73b697..b58c479b 100644
--- a/src/proof/pdr/pdrMan.c
+++ b/src/proof/pdr/pdrMan.c
@@ -163,6 +163,7 @@ void Pdr_ManStop( Pdr_Man_t * p )
     Vec_IntFree( p->vCi2Rem   );  // CIs to be removed
     Vec_IntFree( p->vRes      );  // final result
     Vec_IntFree( p->vSuppLits );  // support literals
+    Vec_PtrFreeP( &p->vInfCubes );
     ABC_FREE( p->pCubeJust );
     ABC_FREE( p->pTime4Outs );
     if ( p->vCexes )
-- 
cgit v1.2.3