From: Wolfgang Bangerth Date: Tue, 22 Aug 2017 15:51:09 +0000 (-0600) Subject: Use 'destroyed' instead of 'destructed'. X-Git-Tag: v9.0.0-rc1~1186^2~1 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=1701fbd1f07af0bd835420a5159fbfff112a3d31;p=dealii.git Use 'destroyed' instead of 'destructed'. --- diff --git a/examples/step-6/step-6.cc b/examples/step-6/step-6.cc index 47103a2bbc..d6477d4229 100644 --- a/examples/step-6/step-6.cc +++ b/examples/step-6/step-6.cc @@ -191,7 +191,7 @@ Step6::Step6 () // To be fair, such exceptions about still used objects are not particularly // popular among programmers using deal.II, since they only tell us that // something is wrong, namely that some other object is still using the object -// that is presently being destructed, but most of the time not who this using +// that is presently being destroyed, but most of the time not who this using // object is. It is therefore often rather time-consuming to find out where the // problem exactly is, although it is then usually straightforward to remedy // the situation. However, we believe that the effort to find invalid