From 3d01abf481c0115beb5f2aea48ea9007a3e29c39 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Fri, 19 Jul 2013 21:01:06 -0700
Subject: Experiment with 'pdr'.

---
 src/sat/cnf/cnfMan.c | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/sat/cnf/cnfMan.c')

diff --git a/src/sat/cnf/cnfMan.c b/src/sat/cnf/cnfMan.c
index 2aa5df6f..8a155f78 100644
--- a/src/sat/cnf/cnfMan.c
+++ b/src/sat/cnf/cnfMan.c
@@ -182,6 +182,7 @@ void Cnf_DataFree( Cnf_Dat_t * p )
     if ( p == NULL )
         return;
     Vec_IntFreeP( &p->vMapping );
+    ABC_FREE( p->pClaPols );
     ABC_FREE( p->pObj2Clause );
     ABC_FREE( p->pObj2Count );
     ABC_FREE( p->pClauses[0] );
-- 
cgit v1.2.3