pprint: minor clean up

bh107 · May 7, 2018 · ac4b0b6 · ac4b0b6
1 parent a2b9576
commit ac4b0b6
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/filter/pprint/main.cpp b/filter/pprint/main.cpp
@@ -34,8 +34,8 @@ class Impl : public ComponentImpl {
     int count = 0;
   public:
     Impl(int stack_level) : ComponentImpl(stack_level) {};
-    ~Impl() {}; // NB: a destructor implementation must exist
-    void execute(BhIR *bhir) {
+    ~Impl() override = default;
+    void execute(BhIR *bhir) override {
         stringstream ss;
         ss << "trace-" << count << ".txt";
         cout << "pprint-filter: writing trace('" << ss.str() << "')." << endl;