diff --git a/source/basic.tex b/source/basic.tex index 000af9f393..39a27bd531 100644 --- a/source/basic.tex +++ b/source/basic.tex @@ -3126,8 +3126,8 @@ \pnum A program may end the lifetime of any object by reusing the storage which the object occupies or by explicitly calling the destructor for an -object of a class type with a non-trivial destructor. For an object of a -class type with a non-trivial destructor, the program is not required to +object of a class type. For an object of a class type with a +non-trivial destructor, the program is not required to call the destructor explicitly before the storage which the object occupies is reused or released; however, if there is no explicit call to the destructor or if a \grammarterm{delete-expression}\iref{expr.delete}