diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2021-09-21 10:22:40 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2021-09-21 10:22:40 -0700 |
| commit | 1e69e7e7d101cca19dcdca6b61d7ca9a1237283c (patch) | |
| tree | a8f8330a1978e531bac80ebf96c519db7d0227a7 /src/aig/gia/giaMan.c | |
| parent | a36325609845c7114541dd23ccb7dae3137f3fd4 (diff) | |
| download | abc-1e69e7e7d101cca19dcdca6b61d7ca9a1237283c.tar.gz abc-1e69e7e7d101cca19dcdca6b61d7ca9a1237283c.tar.bz2 abc-1e69e7e7d101cca19dcdca6b61d7ca9a1237283c.zip | |
Adding command &reshape.
Diffstat (limited to 'src/aig/gia/giaMan.c')
| -rw-r--r-- | src/aig/gia/giaMan.c | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/aig/gia/giaMan.c b/src/aig/gia/giaMan.c index bb1305be..772dc31a 100644 --- a/src/aig/gia/giaMan.c +++ b/src/aig/gia/giaMan.c @@ -81,8 +81,6 @@ Gia_Man_t * Gia_ManStart( int nObjsMax ) ***********************************************************************/ void Gia_ManStop( Gia_Man_t * p ) { - extern void Gia_DatFree( Gia_Dat_t * p ); - Gia_DatFree( p->pUData ); if ( p->vSeqModelVec ) Vec_PtrFreeFree( p->vSeqModelVec ); Gia_ManStaticFanoutStop( p ); |