diff -r 7c2e71835de7 -r 0ace7edbb06f new_map_win.cc
--- a/new_map_win.cc	Fri Jan 06 14:44:04 2006 +0000
+++ b/new_map_win.cc	Fri Jan 06 16:07:08 2006 +0000
@@ -114,13 +114,7 @@
 			    }
 			  else
 			    {
-			      char * def_val_ch=new char [(int)(ch2var[ polishform[i] ].length())];
-			      for(int j=0;j<(int)(ch2var[ polishform[i] ].length());j++)
-				{
-				  def_val_ch[j]=ch2var[ polishform[i] ][j];
-				}
-			      polishstack.push(atof(def_val_ch));
-			      delete def_val_ch;
+			      polishstack.push(atof(ch2var[ polishform[i] ].c_str()));
 			    }
 			  operation=false;
 			  break;
@@ -201,13 +195,7 @@
 			    }
 			  else
 			    {
-			      char * def_val_ch=new char [(int)(ch2var[ polishform[i] ].length())];
-			      for(int j=0;j<(int)(ch2var[ polishform[i] ].length());j++)
-				{
-				  def_val_ch[j]=ch2var[ polishform[i] ][j];
-				}
-			      polishstack.push(atof(def_val_ch));
-			      delete def_val_ch;
+			      polishstack.push(atof(ch2var[ polishform[i] ].c_str()));
 			    }
 			  operation=false;
 			  break;