diff --git a/src/opt/rar/rewireMiaig.h b/src/opt/rar/rewireMiaig.h index 8e2664653..198eca738 100644 --- a/src/opt/rar/rewireMiaig.h +++ b/src/opt/rar/rewireMiaig.h @@ -441,7 +441,7 @@ inline void Miaig::release(void) { if (_data->pRequire) free(_data->pRequire); if (_data->pTable) free(_data->pTable); if (_data->pNtkMapped) Vi_Free(_data->pNtkMapped); - delete _data; + free(_data); } } @@ -612,4 +612,4 @@ inline void Miaig::attachTiming(vi *vCiArrs, vi *vCoReqs) { ABC_NAMESPACE_CXX_HEADER_END #endif // RW_ABC -#endif // REWIRE_MIAIG_H \ No newline at end of file +#endif // REWIRE_MIAIG_H