From 6d27e26afb2f27e58e14531a8434f49616d04f61 Mon Sep 17 00:00:00 2001 From: Wolfgang Bangerth Date: Sun, 28 Mar 2021 19:20:42 +0200 Subject: [PATCH] Remove an unnecessary destructor. --- examples/step-15/step-15.cc | 9 --------- 1 file changed, 9 deletions(-) diff --git a/examples/step-15/step-15.cc b/examples/step-15/step-15.cc index 9427d1feed..b73d47c43d 100644 --- a/examples/step-15/step-15.cc +++ b/examples/step-15/step-15.cc @@ -98,8 +98,6 @@ namespace Step15 { public: MinimalSurfaceProblem(); - ~MinimalSurfaceProblem(); - void run(); private: @@ -161,13 +159,6 @@ namespace Step15 {} - - template - MinimalSurfaceProblem::~MinimalSurfaceProblem() - { - dof_handler.clear(); - } - // @sect4{MinimalSurfaceProblem::setup_system} // As always in the setup-system function, we setup the variables of the -- 2.39.5