mirror of https://github.com/davisking/dlib.git
Clarified spec again
This commit is contained in:
parent
8762fd1405
commit
cf6f55c2fa
|
@ -159,7 +159,8 @@ namespace dlib
|
|||
ensures
|
||||
- swaps *this and item
|
||||
- does not invalidate pointers or references to the object contained
|
||||
inside *this or item.
|
||||
inside *this or item. Moreover, a pointer or reference to the object in
|
||||
*this will now refer to the contents of #item and vice versa.
|
||||
!*/
|
||||
|
||||
};
|
||||
|
|
Loading…
Reference in New Issue