Fix destructor rewireMiaig.h

Pointers that are allocated with a C-style malloc should be deleted with free -- not with the C++-style delete.

Using delete here will trip up toolchains that enforce using free for memory allocated with malloc.
This commit is contained in:
Dino 2025-12-23 16:14:38 -08:00 committed by GitHub
parent 64637b8395
commit e7c304d3d1
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 2 additions and 2 deletions

View File

@ -441,7 +441,7 @@ inline void Miaig::release(void) {
if (_data->pRequire) free(_data->pRequire); if (_data->pRequire) free(_data->pRequire);
if (_data->pTable) free(_data->pTable); if (_data->pTable) free(_data->pTable);
if (_data->pNtkMapped) Vi_Free(_data->pNtkMapped); if (_data->pNtkMapped) Vi_Free(_data->pNtkMapped);
delete _data; free(_data);
} }
} }