diff options
Diffstat (limited to 'src/base/seq/seqMan.c')
| -rw-r--r-- | src/base/seq/seqMan.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/base/seq/seqMan.c b/src/base/seq/seqMan.c index 405eeb39..bdfb2630 100644 --- a/src/base/seq/seqMan.c +++ b/src/base/seq/seqMan.c @@ -122,7 +122,7 @@ void Seq_Delete( Abc_Seq_t * p ) if ( p->vUses ) Vec_StrFree( p->vUses ); // the uses of phases if ( p->vInits ) Vec_PtrFree( p->vInits ); // the initial values of the latches if ( p->vNums ) Vec_IntFree( p->vNums ); // the numbers of latches - Extra_MmFixedStop( p->pMmInits, 0 ); + Extra_MmFixedStop( p->pMmInits ); free( p ); } |