1.1 --- a/gui/new_map_win.cc	Thu Jan 05 12:30:09 2006 +0000
     1.2 +++ b/gui/new_map_win.cc	Thu Jan 05 16:54:34 2006 +0000
     1.3 @@ -120,6 +120,7 @@
     1.4  				  def_val_ch[j]=ch2var[ polishform[i] ][j];
     1.5  				}
     1.6  			      polishstack.push(atof(def_val_ch));
     1.7 +			      delete def_val_ch;
     1.8  			    }
     1.9  			  operation=false;
    1.10  			  break;
    1.11 @@ -164,6 +165,8 @@
    1.12  
    1.13  	      //display it
    1.14  	      //gdc.changeEdgeText(mapname);
    1.15 +
    1.16 +	      //delete emptr;
    1.17  	    }
    1.18  	  else //!edge.get_active()
    1.19  	    {
    1.20 @@ -204,6 +207,7 @@
    1.21  				  def_val_ch[j]=ch2var[ polishform[i] ][j];
    1.22  				}
    1.23  			      polishstack.push(atof(def_val_ch));
    1.24 +			      delete def_val_ch;
    1.25  			    }
    1.26  			  operation=false;
    1.27  			  break;
    1.28 @@ -248,6 +252,8 @@
    1.29  
    1.30  	      //display it
    1.31  	      //gdc.changeNodeText(mapname);
    1.32 +
    1.33 +	      //delete emptr;
    1.34  	    }
    1.35  	  if(!abortion)
    1.36  	    {