--- a/src/history.cpp Tue Jul 16 21:02:12 2013 +0300 +++ b/src/history.cpp Thu Jul 18 13:13:26 2013 +0300 @@ -177,7 +177,6 @@ EditHistory::~EditHistory() {} // ============================================================================= - void SwapHistory::undo() const { LDObject::fromID (a)->swap (LDObject::fromID (b)); }