NGWrapper: mark dtor with override

diff --git a/src/nfagraph/ng.h b/src/nfagraph/ng.h
index fe78254c6c0d4087e8a445480066a0f7c11b9d42..52353da927a552bd6e36f6dc1039190298965c78 100644 (file)
--- a/src/nfagraph/ng.h
+++ b/src/nfagraph/ng.h
@@ -64,7 +64,7 @@ public:
               bool prefilter, const som_type som, ReportID rid, u64a min_offset,
               u64a max_offset, u64a min_length);
 
-    ~NGWrapper();
+    ~NGWrapper() override;
 
     /** index of the expression represented by this graph, used
      * - down the track in error handling