diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2008-04-20 20:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2008-04-20 20:01:00 -0700 |
| commit | 7ec48bc20de6209f311715f4b1479cb2e0a4d906 (patch) | |
| tree | 00ee497c28001a646f98407115f5541fb49adf83 /src/aig/ntl/ntlEc.c | |
| parent | 7ff4c2b2719a78ba7d1ddcfdf9356affa291e876 (diff) | |
| download | abc-7ec48bc20de6209f311715f4b1479cb2e0a4d906.tar.gz abc-7ec48bc20de6209f311715f4b1479cb2e0a4d906.tar.bz2 abc-7ec48bc20de6209f311715f4b1479cb2e0a4d906.zip | |
Version abc80420_2
Diffstat (limited to 'src/aig/ntl/ntlEc.c')
| -rw-r--r-- | src/aig/ntl/ntlEc.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/ntl/ntlEc.c b/src/aig/ntl/ntlEc.c index 7cb6d6f5..0cd75cbc 100644 --- a/src/aig/ntl/ntlEc.c +++ b/src/aig/ntl/ntlEc.c @@ -238,7 +238,7 @@ void Ntl_ManPrepareCec( char * pFileName1, char * pFileName2, Aig_Man_t ** ppMan // derive AIGs *ppMan1 = Ntl_ManCollapseForCec( pMan1 ); *ppMan2 = Ntl_ManCollapseForCec( pMan2 ); - // cleanup + // cleanup Ntl_ManFree( pMan1 ); Ntl_ManFree( pMan2 ); } |