diff --git a/src/base/io/ioReadBlifMv.c b/src/base/io/ioReadBlifMv.c
index 0e121b476..c3612b2d3 100644
--- a/src/base/io/ioReadBlifMv.c
+++ b/src/base/io/ioReadBlifMv.c
@@ -339,6 +339,7 @@ static void Io_MvModFree( Io_MvMod_t * p )
 {
 //    if ( p->pNtk )
 //        Abc_NtkDelete( p->pNtk );
+    Vec_PtrFree( p->vLtlProperties );
     Vec_PtrFree( p->vInputs );
     Vec_PtrFree( p->vOutputs );
     Vec_PtrFree( p->vLatches );