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 | |
| parent | a36325609845c7114541dd23ccb7dae3137f3fd4 (diff) | |
| download | abc-1e69e7e7d101cca19dcdca6b61d7ca9a1237283c.tar.gz abc-1e69e7e7d101cca19dcdca6b61d7ca9a1237283c.tar.bz2 abc-1e69e7e7d101cca19dcdca6b61d7ca9a1237283c.zip | |
Adding command &reshape.
Diffstat (limited to 'src/aig/gia')
| -rw-r--r-- | src/aig/gia/giaMan.c | 2 | ||||
| -rw-r--r-- | src/aig/gia/module.make | 2 |
2 files changed, 2 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 ); diff --git a/src/aig/gia/module.make b/src/aig/gia/module.make index acb32c18..35ed4ab0 100644 --- a/src/aig/gia/module.make +++ b/src/aig/gia/module.make @@ -60,6 +60,8 @@ SRC += src/aig/gia/giaAig.c \ src/aig/gia/giaPat.c \ src/aig/gia/giaPf.c \ src/aig/gia/giaQbf.c \ + src/aig/gia/giaReshape1.c \ + src/aig/gia/giaReshape2.c \ src/aig/gia/giaResub.c \ src/aig/gia/giaResub2.c \ src/aig/gia/giaResub3.c \ |