Fixing memory leak in LTL property handling code

src/base/abc/abcNtk.c

@@ -1039,6 +1039,7 @@ void Abc_NtkDelete( Abc_Ntk_t * pNtk )
     ABC_FREE( pNtk->pLutTimes );
     if ( pNtk->vOnehots )
         Vec_VecFree( (Vec_Vec_t *)pNtk->vOnehots );
+    Vec_PtrFreeP( &pNtk->vLtlProperties );
     ABC_FREE( pNtk );
 }
 

src/base/main/mainFrame.c

@@ -175,6 +175,7 @@ void Abc_FrameDeallocate( Abc_Frame_t * p )
             ABC_FREE( pTemp );
         Vec_PtrFree( p->vPlugInComBinPairs );
     }
+    Vec_PtrFreeP( &p->vLTLProperties_global );
     Abc_FrameDeleteAllNetworks( p );
     ABC_FREE( p->pCex );
     ABC_FREE( p );