commit 57c07df414ace7027f74c067bcd82b5f69f35029
author Davide Pesavento <davide.pesavento@lip6.fr> Sun Dec 11 18:41:45 2016 -0500
committer Davide Pesavento <davide.pesavento@lip6.fr> Tue Dec 13 22:13:25 2016 -0500
tree ad4ee155a797cc9a04061de01dbbae84017a05c2
parent de2a1c20f44ae7f429640e21e1c3e63c140ffda5

src: drop 'virtual' from functions marked 'final' or 'override'

Change-Id: Ieb6df864ab82f77b2bee9e83aa0bfa2005715950
Refs: #3857

src/util/indented-stream.hpp

diff --git a/src/util/indented-stream.hpp b/src/util/indented-stream.hpp
index 31e5839..32b60e8 100644
--- a/src/util/indented-stream.hpp
+++ b/src/util/indented-stream.hpp
@@ -56,7 +56,6 @@
 public:
   IndentedStream(std::ostream& os, const std::string& indent);
 
-  virtual
   ~IndentedStream() override;
 
 private:
@@ -66,7 +65,7 @@
   public:
     StreamBuf(std::ostream& os, const std::string& indent);
 
-    virtual int
+    int
     sync() override;
 
   private: