Add a little doc.

git-svn-id: https://svn.dealii.org/trunk@5556 0785d39b-7218-0410-832d-ea1e28bc413d

diff --git a/deal.II/base/include/base/function.h b/deal.II/base/include/base/function.h
index 1c46b69273c25cedd7ffaf8c3eb274a3e0a76914..7629da8da282b4317f11b4706bc40a74ca1b7f2a 100644 (file)
--- a/deal.II/base/include/base/function.h
+++ b/deal.II/base/include/base/function.h
@@ -129,6 +129,13 @@ class Function : public FunctionTime,
                                      * overhead in derived classes,
                                      * this is the best place to do
                                      * this.
+                                     *
+                                     * Nevertheless, since derived
+                                     * classes want to call the
+                                     * destructor of a base class,
+                                     * the destructor is implemented
+                                     * (despite it being pure
+                                     * virtual).
                                      */
     virtual ~Function () = 0;