Assorted formatting and comment tweaks in position.h

No functional change.
This commit is contained in:
Marco Costalba
2015-01-07 09:09:41 +01:00
parent b73ae56ee1
commit aea2fde611
3 changed files with 60 additions and 68 deletions

View File

@@ -176,9 +176,8 @@ void Position::init() {
}
/// Position::operator=() creates a copy of 'pos'. We want the new born Position
/// object to not depend on any external data so we detach state pointer from
/// the source one.
/// Position::operator=() creates a copy of 'pos' but detaching the state pointer
/// from the source to be self-consistent and not depending on any external data.
Position& Position::operator=(const Position& pos) {