diff -r 409a31271efd -r 01d41844ef46 gui/new_map_win.cc
--- a/gui/new_map_win.cc	Thu Jan 05 12:30:09 2006 +0000
+++ b/gui/new_map_win.cc	Thu Jan 05 16:54:34 2006 +0000
@@ -120,6 +120,7 @@
 				  def_val_ch[j]=ch2var[ polishform[i] ][j];
 				}
 			      polishstack.push(atof(def_val_ch));
+			      delete def_val_ch;
 			    }
 			  operation=false;
 			  break;
@@ -164,6 +165,8 @@
 
 	      //display it
 	      //gdc.changeEdgeText(mapname);
+
+	      //delete emptr;
 	    }
 	  else //!edge.get_active()
 	    {
@@ -204,6 +207,7 @@
 				  def_val_ch[j]=ch2var[ polishform[i] ][j];
 				}
 			      polishstack.push(atof(def_val_ch));
+			      delete def_val_ch;
 			    }
 			  operation=false;
 			  break;
@@ -248,6 +252,8 @@
 
 	      //display it
 	      //gdc.changeNodeText(mapname);
+
+	      //delete emptr;
 	    }
 	  if(!abortion)
 	    {