1.1 --- a/new_map_win.cc	Fri Jan 06 14:44:04 2006 +0000
     1.2 +++ b/new_map_win.cc	Fri Jan 06 16:07:08 2006 +0000
     1.3 @@ -114,13 +114,7 @@
     1.4  			    }
     1.5  			  else
     1.6  			    {
     1.7 -			      char * def_val_ch=new char [(int)(ch2var[ polishform[i] ].length())];
     1.8 -			      for(int j=0;j<(int)(ch2var[ polishform[i] ].length());j++)
     1.9 -				{
    1.10 -				  def_val_ch[j]=ch2var[ polishform[i] ][j];
    1.11 -				}
    1.12 -			      polishstack.push(atof(def_val_ch));
    1.13 -			      delete def_val_ch;
    1.14 +			      polishstack.push(atof(ch2var[ polishform[i] ].c_str()));
    1.15  			    }
    1.16  			  operation=false;
    1.17  			  break;
    1.18 @@ -201,13 +195,7 @@
    1.19  			    }
    1.20  			  else
    1.21  			    {
    1.22 -			      char * def_val_ch=new char [(int)(ch2var[ polishform[i] ].length())];
    1.23 -			      for(int j=0;j<(int)(ch2var[ polishform[i] ].length());j++)
    1.24 -				{
    1.25 -				  def_val_ch[j]=ch2var[ polishform[i] ][j];
    1.26 -				}
    1.27 -			      polishstack.push(atof(def_val_ch));
    1.28 -			      delete def_val_ch;
    1.29 +			      polishstack.push(atof(ch2var[ polishform[i] ].c_str()));
    1.30  			    }
    1.31  			  operation=false;
    1.32  			  break;