From 0f1d8455f21d5c1115f2dac18809265fb8497c9d Mon Sep 17 00:00:00 2001
From: guido <guido@0785d39b-7218-0410-832d-ea1e28bc413d>
Date: Wed, 20 Feb 2002 16:21:36 +0000
Subject: [PATCH] Destructor made pure

git-svn-id: https://svn.dealii.org/trunk@5529 0785d39b-7218-0410-832d-ea1e28bc413d
---
 deal.II/base/include/base/function.h | 14 ++++++++++++--
 1 file changed, 12 insertions(+), 2 deletions(-)

diff --git a/deal.II/base/include/base/function.h b/deal.II/base/include/base/function.h
index f750351bb6..1c46b69273 100644
--- a/deal.II/base/include/base/function.h
+++ b/deal.II/base/include/base/function.h
@@ -119,8 +119,18 @@ class Function : public FunctionTime,
 				     /**
 				      * Virtual destructor; absolutely
 				      * necessary in this case.
-				      */
-    virtual ~Function ();
+				      *
+				      * This destructor is declared
+				      * pure virtual, such that
+				      * objects of this class cannot
+				      * be created. Since all the
+				      * other virtual functions have a
+				      * pseudo-implementation to avoid
+				      * overhead in derived classes,
+				      * this is the best place to do
+				      * this.
+				      */
+    virtual ~Function () = 0;
     
 				     /**
 				      * Return the value of the
-- 
2.39.5