diff -r 87d0635f3028 transex3/source/inireader.cxx
--- a/transex3/source/inireader.cxx	Tue Jan 12 11:18:27 2010 +0000
+++ b/transex3/source/inireader.cxx	Tue Jan 12 13:01:23 2010 +0000
@@ -120,7 +120,7 @@
         char* buffer = new char[ str.length()*3 ];
         str.extract( 0 , str.length() , buffer );
         stl_str = string( buffer );
-        delete buffer;
+        delete [] buffer;
 }
 
 void INIreader::trim( string& str )