From 5805ac193c5c20c32930d5d4fd5c62bbbcb8ec7b Mon Sep 17 00:00:00 2001 From: Justin Viiret Date: Tue, 3 Nov 2015 16:12:36 +1100 Subject: [PATCH] NGWrapper: mark dtor with override --- src/nfagraph/ng.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/nfagraph/ng.h b/src/nfagraph/ng.h index fe78254c..52353da9 100644 --- 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