diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-07-19 21:01:06 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-07-19 21:01:06 -0700 |
| commit | 3d01abf481c0115beb5f2aea48ea9007a3e29c39 (patch) | |
| tree | b0c60b6cbd06b76b4745d675a19af7a01591cb33 /src/sat/cnf/cnfMan.c | |
| parent | 35273eaebaf9b8594c30898dad055578dfa81538 (diff) | |
| download | abc-3d01abf481c0115beb5f2aea48ea9007a3e29c39.tar.gz abc-3d01abf481c0115beb5f2aea48ea9007a3e29c39.tar.bz2 abc-3d01abf481c0115beb5f2aea48ea9007a3e29c39.zip | |
Experiment with 'pdr'.
Diffstat (limited to 'src/sat/cnf/cnfMan.c')
| -rw-r--r-- | src/sat/cnf/cnfMan.c | 1 |
1 files changed, 1 insertions, 0 deletions
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] ); |