diff -r 8099ebaf4515 -r 0c2d74acf035 flagobj.cpp --- a/flagobj.cpp Thu Aug 09 18:34:07 2007 +0000 +++ b/flagobj.cpp Mon May 05 13:46:42 2008 +0000 @@ -22,7 +22,7 @@ FlagObj::~FlagObj() { -// cout << "Destr FlagObj this="<