1.1 --- a/gui/map_win.cc	Thu Jan 12 14:36:08 2006 +0000
     1.2 +++ b/gui/map_win.cc	Thu Jan 12 15:24:24 2006 +0000
     1.3 @@ -62,10 +62,6 @@
     1.4  
     1.5  }
     1.6  
     1.7 -MapWin::~MapWin()
     1.8 -{
     1.9 -}
    1.10 -
    1.11  void MapWin::nodeMapChanged(std::string mapname, int prop)
    1.12  {
    1.13    mytab.propertyChange(false, prop, mapname);