diff --git a/src/lib/server/BaseClientProxy.cpp b/src/lib/server/BaseClientProxy.cpp
index a6a15f89a..34f4fc132 100644
--- a/src/lib/server/BaseClientProxy.cpp
+++ b/src/lib/server/BaseClientProxy.cpp
@@ -16,11 +16,6 @@ BaseClientProxy::BaseClientProxy(const std::string &name) : m_name(name), m_x(0)
   // do nothing
 }
 
-BaseClientProxy::~BaseClientProxy()
-{
-  // do nothing
-}
-
 void BaseClientProxy::setJumpCursorPos(int32_t x, int32_t y)
 {
   m_x = x;
diff --git a/src/lib/server/BaseClientProxy.h b/src/lib/server/BaseClientProxy.h
index 7045da508..ee37c69be 100644
--- a/src/lib/server/BaseClientProxy.h
+++ b/src/lib/server/BaseClientProxy.h
@@ -21,7 +21,7 @@ public:
   \c name is the name of the client.
   */
   BaseClientProxy(const std::string &name);
-  ~BaseClientProxy() override;
+  ~BaseClientProxy() override = default;
 
   //! @name manipulators
   //@{