diff options
Diffstat (limited to 'src/aig')
| -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 \ |