picture_pool_Delete: memory leak

diff --git a/src/video_output/vout_pictures.c b/src/video_output/vout_pictures.c
index 6d5da79eb8c12e218323916b57ce482f75de9068..16119a90eade3e39804f32ba1ccc1f97c02f132b 100644 (file)
--- a/src/video_output/vout_pictures.c
+++ b/src/video_output/vout_pictures.c
@@ -1331,6 +1331,7 @@ void picture_pool_Delete( picture_pool_t *p_pool )
 
         free( p_release_sys );
     }
+    free( p_pool->pp_picture );
     free( p_pool );
 }