diff -r 96bfa82264c3 -r a3781bff1032 map_win.cc
--- a/map_win.cc	Thu Jan 12 14:36:08 2006 +0000
+++ b/map_win.cc	Thu Jan 12 15:24:24 2006 +0000
@@ -62,10 +62,6 @@
 
 }
 
-MapWin::~MapWin()
-{
-}
-
 void MapWin::nodeMapChanged(std::string mapname, int prop)
 {
   mytab.propertyChange(false, prop, mapname);