diff options
Diffstat (limited to 'src/aig/gia/giaSim5.c')
| -rw-r--r-- | src/aig/gia/giaSim5.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/aig/gia/giaSim5.c b/src/aig/gia/giaSim5.c index bdfd78b4..ab33c218 100644 --- a/src/aig/gia/giaSim5.c +++ b/src/aig/gia/giaSim5.c @@ -29,6 +29,7 @@ ABC_NAMESPACE_IMPL_START void Sim_Init( Abc_Frame_t * pAbc ) {} void Sim_End( Abc_Frame_t * pAbc ) {} +void Gia_DatFree( Gia_Dat_t * p ) {} //////////////////////////////////////////////////////////////////////// /// FUNCTION DEFINITIONS /// |