Fix a harmless memory leak in plocate-build.

diff --git a/plocate-build.cpp b/plocate-build.cpp
index be8a818a868e9f796dd836361349c6031c684467..c571b0981b32bfb89328320114a5e61f5f52c100 100644 (file)
--- a/plocate-build.cpp
+++ b/plocate-build.cpp
@@ -147,6 +147,12 @@ public:
                : invindex(new PostingListBuilder *[NUM_TRIGRAMS]), outfp(outfp), block_size(block_size) {
                fill(invindex.get(), invindex.get() + NUM_TRIGRAMS, nullptr);
        }
+       ~Corpus() {
+               for (unsigned i = 0; i < NUM_TRIGRAMS; ++i) {
+                       delete invindex[i];
+               }
+       }
+
        void add_file(string filename);
        void flush_block();