NGWrapper: mark dtor with override

This commit is contained in:
Justin Viiret 2015-11-03 16:12:36 +11:00 committed by Matthew Barr
parent 4c53bd4641
commit 5805ac193c

View File

@ -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