From 0cf72ef474f0d22f47ee162dba78084434c116e3 Mon Sep 17 00:00:00 2001
From: Konstantinos Margaritis <konstantinos@vectorcamp.gr>
Date: Wed, 15 May 2024 17:05:22 +0300
Subject: [PATCH] Fix missingOverride

---
 util/ng_corpus_generator.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/util/ng_corpus_generator.cpp b/util/ng_corpus_generator.cpp
index 68aa5583..c18f2398 100644
--- a/util/ng_corpus_generator.cpp
+++ b/util/ng_corpus_generator.cpp
@@ -221,7 +221,7 @@ class CorpusGeneratorImpl : public CorpusGenerator {
 public:
     CorpusGeneratorImpl(const NGHolder &graph_in, const ExpressionInfo &expr_in,
                         CorpusProperties &props);
-    ~CorpusGeneratorImpl() = default;
+    virtual ~CorpusGeneratorImpl() = default;
 
     void generateCorpus(vector<string> &data) override;